|
core
|
Allow level 0 semantic propagations
|
2016-11-25 15:16:10 +01:00 |
|
mcsat
|
[breaking] Ceaner interface for mcsat propagations
|
2016-11-25 12:07:23 +01:00 |
|
sat
|
Mcsat now works (for pure equality problems)
|
2016-09-22 18:31:22 +02:00 |
|
smt
|
remove useless modules and update doc
|
2016-11-21 14:58:21 +01:00 |
|
solver
|
Merge branch 'wip-basic-smt'
|
2016-11-17 15:22:28 +01:00 |
|
util
|
Revert "change strategy for vec reallocation"
|
2016-11-24 17:38:09 +01:00 |
|
main.ml
|
[breaking] Changed if_sat interface
|
2016-11-16 17:33:10 +01:00 |
|
msat.mlpack
|
Removed Expr module from msat lib
|
2016-09-12 17:54:10 +02:00 |
|
msat.odocl
|
update doc by merging everything into one dir
|
2016-11-21 15:02:35 +01:00 |
|
msat_sat.mlpack
|
[WIP] Some drastic cleanup of code
|
2016-09-09 18:09:04 +02:00 |
|
msat_smt.mlpack
|
[WIP] Some drastic cleanup of code
|
2016-09-09 18:09:04 +02:00 |
