Simon Cruanes b86a6432eb fix(base-term): no dep on zarith necessary for now		2019-06-07 18:07:22 -05:00
..
base-term	fix(base-term): no dep on zarith necessary for now	2019-06-07 18:07:22 -05:00
cc	refactor: move Lit inside the solver, as output, not input	2019-06-07 17:31:11 -05:00
core	refactor: move Lit inside the solver, as output, not input	2019-06-07 17:31:11 -05:00
main	refactor: split smtlib+bin into their own opam package	2019-06-07 17:59:07 -05:00
mini-cc	feat(check): use mini-cc to check CC conflicts on the fly	2019-06-07 14:47:52 -05:00
msat-solver	fix: restore the module type coercion	2019-06-07 17:55:22 -05:00
smtlib	refactor: split smtlib+bin into their own opam package	2019-06-07 17:59:07 -05:00
th-bool-dyn	wip: simplify a lot and only keep th-bool-static in the functor	2019-06-05 16:53:13 -05:00
th-bool-static	refactor: move Lit inside the solver, as output, not input	2019-06-07 17:31:11 -05:00
th-cstor	wip: simplify a lot and only keep th-bool-static in the functor	2019-06-05 16:53:13 -05:00
tools	fix(tool): update analyse script	2019-06-07 13:26:51 -05:00
util	wip: functorize everything	2019-05-26 23:20:47 -05:00
dune	chore: add common dune file	2019-02-26 22:46:13 -06:00