Laurent Perron
|
e8d5858e67
|
revamp sat python solution callback, adds the ability to stop search from the solution callback.
|
2018-08-30 16:27:58 +02:00 |
|
Laurent Perron
|
bd04f656b3
|
rename MODEL_SAT to FEASIBLE, MODEL_UNSAT to INFEASIBLE
|
2018-07-02 15:35:40 +02:00 |
|
Laurent Perron
|
85339803e8
|
work on sat scheduling doc; fix C# code to accept optional interval vars without optional start and end variables; update code_samples with new code from doc
|
2018-06-07 15:33:25 +02:00 |
|
Laurent Perron
|
bd060bc400
|
more code samples for sat
|
2018-06-06 15:28:23 +02:00 |
|
Laurent Perron
|
87636e392f
|
fix typo
|
2018-06-05 16:47:08 +02:00 |
|
Laurent Perron
|
74456de74c
|
simple cryptarithmetic examples for sat doc
|
2018-06-05 15:54:45 +02:00 |
|
Laurent Perron
|
e198505927
|
add C# samples to the SAT md doc
|
2018-05-30 14:31:59 -07:00 |
|
Laurent Perron
|
c363991e2b
|
rearchitecture glop code
|
2017-12-05 16:45:10 +01:00 |
|
Laurent Perron
|
89edd70833
|
add examples that captures code samples in the documentation
|
2017-11-23 15:25:53 +01:00 |
|