Default branch

main 1971d2a8e8 · test config · Updated 2026-04-24 21:12:12 -04:00

ZIP  TAR.GZ

Branches

wip-lra 242f554974 · chore: remove deps on funarith · Updated 2020-10-10 14:34:13 -04:00    simon	1026 0	Included	ZIP  TAR.GZ
wip-github-action 591337855e · wip · Updated 2019-11-21 14:15:12 -05:00    simon	1114 3		ZIP  TAR.GZ
feat-lra c766ebb61f · feat: add skeleton for LRA · Updated 2019-08-19 19:13:32 -04:00    simon	1146 1		ZIP  TAR.GZ
wip-sat-stat 7b62dbcb4d · wip: stats for msat · Updated 2019-06-10 17:04:14 -04:00    simon	1154 1		ZIP  TAR.GZ
wip-refactor-old b3f328027c · wip · Updated 2019-06-05 21:47:58 -04:00    simon	1185 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	1206 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	1363 1		ZIP  TAR.GZ
msat-refactor 7324647fb1 · doc · Updated 2018-01-03 16:08:55 -05:00    simon	1363 0	Included	ZIP  TAR.GZ
ocaml-workshop-2017 144af560ab · Presentation slide for the poster · Updated 2017-09-07 07:15:27 -04:00    simon	1417 16		ZIP  TAR.GZ
profile 281a80b7ac · Remove ocaml versions incompatible with landmarks · Updated 2017-06-07 08:14:33 -04:00    simon	1417 3		ZIP  TAR.GZ
wip-no-simps 1751f71f83 · wip · Updated 2016-09-12 04:30:56 -04:00    simon	1535 3		ZIP  TAR.GZ
wip-propagation 035002fd95 · Add forgetful propagation · Updated 2016-08-04 16:18:39 -04:00    simon	1539 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	1546 1		ZIP  TAR.GZ
log fad14a7e4f · use Neperien for logging · Updated 2014-11-05 15:15:06 -05:00    simon	1862 1		ZIP  TAR.GZ