Guillaume Bury 2f3a044271 Add local assumptions support to msat binary		2017-03-30 18:41:35 +02:00
..
sat.ml	Removed module alias for SAT expressions	2016-12-02 15:49:49 +01:00
sat.mli	Fix warnings	2017-02-15 13:34:21 +01:00
type_sat.ml	Add local assumptions support to msat binary	2017-03-30 18:41:35 +02:00
type_sat.mli	Added Sat module to the lib. Updated README	2016-12-01 18:55:58 +01:00