Simon Cruanes 407a7e83f7 fix: allow conflicts below decision level in Make_cdcl_t		2020-01-14 22:56:01 -06:00
..
backend	refactor: modifications asked by @gbury in review	2019-03-10 12:12:39 +01:00
backtrack	refactor: move Backtrackable_ref into its own sub-library	2019-02-11 16:55:43 +01:00
core	fix: allow conflicts below decision level in Make_cdcl_t	2020-01-14 22:56:01 -06:00
main	chore: remove all deps on menhir	2019-04-04 10:18:37 -05:00
sat	fix deprecation warnings related to pervasives	2019-11-29 14:04:33 -06:00
sudoku	chore: use iter, not sequence, in dune	2019-03-16 13:54:38 -05:00
tseitin	style: fix a typo	2019-06-22 16:28:00 +02:00
dune	doc: add an index file	2019-11-27 16:56:36 -06:00
index.mld	doc: add an index file	2019-11-27 16:56:36 -06:00