|
docs
|
Docs
|
2015-03-18 14:46:15 +01:00 |
|
sat-ex
|
Exemples d'instances (sat2-ex vient de satlib)
|
2015-03-18 14:46:40 +01:00 |
|
sat2-ex
|
Exemples d'instances (sat2-ex vient de satlib)
|
2015-03-18 14:46:40 +01:00 |
|
src
|
Avoid slow discriminate during the propagation
|
2019-11-21 18:23:29 +01:00 |
|
sudoku
|
trace error
|
2015-03-18 19:27:53 +01:00 |
|
_tags
|
Le code (rache™)
|
2015-03-18 14:45:31 +01:00 |
|
main.ml
|
Cleanup / bouger les fichiers dans src/
|
2015-03-20 19:23:01 +01:00 |
|
Makefile
|
Cleanup / bouger les fichiers dans src/
|
2015-03-20 19:23:01 +01:00 |
|
notes
|
notes
|
2016-03-17 15:29:18 +01:00 |
|
README.md
|
gna gna gna
|
2015-03-18 16:15:25 +01:00 |
|
sudoku.ml
|
Cleanup / bouger les fichiers dans src/
|
2015-03-20 19:23:01 +01:00 |
|
TODO
|
refresh TODO
|
2015-03-20 20:24:16 +01:00 |
