8 commits

Author	SHA1	Message	Date
Guillaume Bury	91cc15eec1	Indent.	2014-11-04 19:07:26 +01:00
Simon Cruanes	f18b77cdaa	removed french comments; first attempt for Solver.pop	2014-11-04 00:00:26 +01:00
Simon Cruanes	38d16e8874	new interface for sat/Solver, without a Sat exception, nor save/restore. Wip on levels	2014-11-03 23:29:26 +01:00
Guillaume Bury	4ce4cb79be	Added some documentation.	2014-11-01 17:12:56 +01:00
Guillaume Bury	c4e8e19db3	Added Instanciated Sat Solver.	2014-10-31 18:10:28 +01:00
Guillaume Bury	dc43c28a02	Everything has now been properly indented with ocp-indent.	2014-10-31 16:40:59 +01:00
Guillaume Bury	a00506b95f	Solver module is now functorised. 'make' now compiles.	2014-10-31 16:21:11 +01:00
Guillaume Bury	eb692230d3	Begun Functoring the sat solver. ... New folder to distinguish sat solver from smt solver.	2014-10-29 18:51:32 +01:00

Renamed from smt/solver.mli (Browse further)