Laurent Perron
|
54bda4bd42
|
fix examples after FEASIBLE -> OPTIMAL CP-SAT change; improve display of the sudoku problem
|
2020-09-20 09:04:28 +02:00 |
|
Laurent Perron
|
b78002be05
|
remove CP-SAT SolveWithModel, keep the equivalent SolveCpModel; optimize internal model
|
2019-05-15 20:19:00 +02:00 |
|
Laurent Perron
|
17b9b597a1
|
change CP-SAT C++ Api to call Build() on the model before solving; use log_search_progress parameters to display all log; enable this parameter in non C++ language; call InitGoogleLogging() automatically in non C++ languages
|
2019-04-05 14:58:33 +02:00 |
|
Laurent Perron
|
f2573d33b1
|
Fix merge abseil - v6.10
|
2018-11-30 14:48:55 +01:00 |
|
Laurent Perron
|
dbbcc15359
|
reimplement costas_array with the CP-SAT solver.
|
2018-11-24 19:34:08 +01:00 |
|