Default branch

main 6c8d6840f8 · chore: update workflows · Updated 2025-01-27 21:49:09 -05:00

ZIP  TAR.GZ

Branches

feat-lra c766ebb61f · feat: add skeleton for LRA · Updated 2019-08-19 19:13:32 -04:00    simon	1135 1		ZIP  TAR.GZ
wip-sat-stat 7b62dbcb4d · wip: stats for msat · Updated 2019-06-10 17:04:14 -04:00    simon	1143 1		ZIP  TAR.GZ
wip-refactor-old b3f328027c · wip · Updated 2019-06-05 21:47:58 -04:00    simon	1174 5		ZIP  TAR.GZ
feat-cc-as-lit-in-th-data 6c1e18dd58 · wip: have as_lit be stored in theory data in repr node · Updated 2019-03-03 17:59:08 -05:00    simon	1195 1		ZIP  TAR.GZ
cdclt d723aee809 · large refactoring to keep only a simpler, easier CDCL(T) interface · Updated 2018-01-21 19:46:28 -05:00    simon	1352 1		ZIP  TAR.GZ
msat-refactor 7324647fb1 · doc · Updated 2018-01-03 16:08:55 -05:00    simon	1352 0	Included	ZIP  TAR.GZ
ocaml-workshop-2017 144af560ab · Presentation slide for the poster · Updated 2017-09-07 07:15:27 -04:00    simon	1406 16		ZIP  TAR.GZ
profile 281a80b7ac · Remove ocaml versions incompatible with landmarks · Updated 2017-06-07 08:14:33 -04:00    simon	1406 3		ZIP  TAR.GZ
wip-no-simps 1751f71f83 · wip · Updated 2016-09-12 04:30:56 -04:00    simon	1524 3		ZIP  TAR.GZ
wip-propagation 035002fd95 · Add forgetful propagation · Updated 2016-08-04 16:18:39 -04:00    simon	1528 1		ZIP  TAR.GZ
wip-expose-bump-lit d30797c1c1 · expose a way for theories to bump literal activity (heuristics) · Updated 2016-07-29 15:09:37 -04:00    simon	1535 1		ZIP  TAR.GZ
log fad14a7e4f · use Neperien for logging · Updated 2014-11-05 15:15:06 -05:00    simon	1851 1		ZIP  TAR.GZ