Guillaume Bury bbbd407631 Res now includes solver type		2015-10-02 13:30:32 +02:00
..
cc.ml	Mcsat now works	2014-12-16 17:30:14 +01:00
cc.mli	Mcsat now works	2014-12-16 17:30:14 +01:00
cnf.ml	Mcsat now works	2014-12-16 17:30:14 +01:00
cnf.mli	Mcsat now works	2014-12-16 17:30:14 +01:00
expr.ml	A bit of restructuring to have cleaner dependencies between fonctors	2015-07-21 19:20:40 +02:00
expr.mli	A bit of restructuring to have cleaner dependencies between fonctors	2015-07-21 19:20:40 +02:00
mcsat.ml	Res now includes solver type	2015-10-02 13:30:32 +02:00
sig.mli	Better explanations in equivalence closure	2014-11-15 18:39:19 +01:00
smt.ml	A bit of restructuring to have cleaner dependencies between fonctors	2015-07-21 19:20:40 +02:00
smt.mli	Updated README + some more doc	2015-03-03 16:54:28 +01:00
unionfind.ml	Added some headers, and an interface for Expr	2014-12-18 16:04:17 +01:00
unionfind.mli	Better explanations in equivalence closure	2014-11-15 18:39:19 +01:00