Exact

Exact Union RegExp

Guillaume Bury 035002fd95 Add forgetful propagation ... This may be not really needed if late propagations can be done, as the current code could allow. To think about...		2016-08-04 22:18:39 +02:00
..
backend	Clause atoms are now in an array instead of a vec	2016-07-18 18:42:15 +02:00
core	Add forgetful propagation	2016-08-04 22:18:39 +02:00
example	Aliased def of negated in Expr_intf	2016-07-08 17:34:46 +02:00
solver	Add forgetful propagation	2016-08-04 22:18:39 +02:00
util	optimize Vec.{get,set}	2016-07-29 23:43:06 +02:00
main.ml	first draft of replacing push/pop by assumptions	2016-07-27 17:50:03 +02:00
msat.mlpack	Added src directory, moved some files around	2016-07-07 15:48:50 +02:00
msat.odocl	Added src directory, moved some files around	2016-07-07 15:48:50 +02:00