Laurent Perron
|
bd04f656b3
|
rename MODEL_SAT to FEASIBLE, MODEL_UNSAT to INFEASIBLE
|
2018-07-02 15:35:40 +02:00 |
|
Laurent Perron
|
70e73d8754
|
clang-format
|
2018-06-08 16:40:43 +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
|
74456de74c
|
simple cryptarithmetic examples for sat doc
|
2018-06-05 15:54:45 +02:00 |
|
Laurent Perron
|
5eff2ed1bd
|
polish sat doc and code samples
|
2018-05-30 11:29:09 -07:00 |
|
Laurent Perron
|
ca579c649f
|
add code samples in C++ for sat
|
2018-05-30 10:03:49 -07:00 |
|