Simon Cruanes 34f64d2d69 detail: sudoku solver prints total time		2019-03-10 12:12:39 +01:00
..
backend	refactor: remove dimacs backend	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	refactor: move constant parameters outside of the solver	2019-03-10 12:12:39 +01:00
main	feat: Proof.check_empty_conclusion as a separate function	2019-03-10 12:12:39 +01:00
sat	chore: be robust to deprecations	2019-02-11 16:55:43 +01:00
sudoku	detail: sudoku solver prints total time	2019-03-10 12:12:39 +01:00
tseitin	fix: msat.tseitin depends on msat	2019-02-11 16:55:43 +01:00