Simon Cruanes 1c188afb6b test: refactor a bit so that benchs are run by dune		2019-02-11 16:55:43 +01:00
..
bugs
hanoi
icnf-solve	test: check unsat cores in icnf-solve	2019-02-11 16:55:43 +01:00
pigeon
regression
sat
ssa
sudoku	refactor: use a vec for the new clauses	2019-02-11 16:55:43 +01:00
unsat
dune	test: refactor a bit so that benchs are run by dune	2019-02-11 16:55:43 +01:00
Makefile	test: add small sudoku solver to test the CDCL(T) interface	2019-02-11 16:55:43 +01:00
run	test: refactor a bit so that benchs are run by dune	2019-02-11 16:55:43 +01:00
test_api.ml	feat: expose msat.sat as a proper library, with module Int_lit	2019-02-11 16:55:43 +01:00