MORPH
SIGN IN SIGN UP
google / or-tools UNCLAIMED

Google's Operations Research tools:

0 0 3 C++

COMMITS

/ ortools/sat/samples/SimpleSatProgram.java
main
January 10, 2025
C
Bump copyright to 2025
Corentin Le Molgat committed
c34026b
January 4, 2024
M
bump license boilerplate
Mizux Seiha committed
a76bf1c
June 16, 2022
L
[CP-SAT] bump license years; fix scheduling cuts; improve lb_tree_search
Laurent Perron committed
87ca4f5
November 3, 2021
C
sat: Sync sample
Corentin Le Molgat committed
518c708
October 18, 2021
C
sat: Fixup SimpleSatProgram.java
Corentin Le Molgat committed
53187fb
C
sat: Update SimpleSatProgram
Corentin Le Molgat committed
cdcea7c
April 1, 2021
M
Bump Copyright to 2021
Mizux Seiha committed
8bb54b0
November 16, 2020
L
[GLOP] add solution polishing to increase its integrality; [CP-SAT] new stats exported, fix java samples, add quick_restart_no_lp to search diversification
Laurent Perron committed
94d61a2
September 11, 2020
M
make(java): Migrate samples to maven (#202)
Mizux Seiha committed
c6420ba
May 26, 2020
C
Backport samples from g3 to gh
Corentin Le Molgat committed
a62f22d
November 16, 2018
L
merge simple_solve_sample_sat into simple_sat_program; update doc
Laurent Perron committed
c750458
November 15, 2018
L
add javadoc to java sat samples
Laurent Perron committed
3dc6d1e
L
fix
Laurent Perron committed
e86822f
L
reorganize all sat samples to have regular naming
Laurent Perron committed
8fd62c9