Simon Cruanes 768f59f88b big refactoring ... - move to jbuilder - use a functorial heap (with indices embedded in lit/var) - update Vec with optims from mc2 - change semantics of Vec.shrink - use new Log module		2019-02-11 16:55:43 +01:00
..
bugs	Add original problem to bug testfile	2017-03-30 19:32:33 +02:00
hanoi	Added some tests.	2014-11-04 15:54:33 +01:00
pigeon	Fix typo in the pigeon hole test description	2018-06-02 18:55:20 +02:00
sat	[bug] Add test file	2017-03-31 15:17:31 +02:00
ssa	Added some tests.	2014-11-04 15:54:33 +01:00
unsat	[bugfix] Eliminate duplicates in input clauses	2017-02-15 13:04:54 +01:00
jbuild	big refactoring	2019-02-11 16:55:43 +01:00
run	big refactoring	2019-02-11 16:55:43 +01:00
test_api.ml	big refactoring	2019-02-11 16:55:43 +01:00