15 commits

Author	SHA1	Message	Date
Guillaume Bury	508698fd33	Better log levels	2015-01-24 18:11:01 +01:00
Guillaume Bury	d227d4c8b5	Solver modules are paramtrized by log module	2015-01-20 12:58:28 +01:00
Guillaume Bury	24b9362b30	[bugfix] when picking a new term to be assigned, it is possible it is ... already assigned	2015-01-13 18:08:19 +01:00
Guillaume Bury	b05b21ac34	[bugfix] semantic variables weren't reset when backtracking	2015-01-13 18:02:06 +01:00
Guillaume Bury	017bcaad78	Merge branch 'master' of github.com:Gbury/mSAT	2015-01-13 17:37:11 +01:00
Guillaume Bury	cf578d1868	Removed useless level in plugin_intf	2015-01-13 17:36:13 +01:00
Guillaume Bury	ff25fae192	Fixed an interface omission	2015-01-09 15:04:06 +01:00
Guillaume Bury	a499d65fde	Added model output for Mcsolver	2015-01-09 14:53:46 +01:00
Guillaume Bury	fe41b38501	Added propagation function in slice	2015-01-06 19:28:53 +01:00
Guillaume Bury	4b25650c4d	Updated version number in opam to 0.1	2014-12-18 16:17:52 +01:00
Guillaume Bury	4e34bbdf59	Added some headers, and an interface for Expr	2014-12-18 16:04:17 +01:00
Guillaume Bury	2ed541d528	Faster iterating over subterms	2014-12-18 15:34:01 +01:00
Guillaume Bury	ca70f87973	Mcsat now works	2014-12-16 17:30:14 +01:00
Guillaume Bury	aee73abd47	Progressing. Conflict clause computing is broken	2014-12-15 17:09:01 +01:00
Guillaume Bury	8e8a592475	Some reorganization of files/folders	2014-12-11 17:02:27 +01:00