4 commits

Author	SHA1	Message	Date
Simon Cruanes	43c8e60790	use trace instead of our own custom tracing setup	2023-10-06 22:04:15 -04:00
Simon Cruanes	a1bc186d2e	use ocamlformat	2022-07-14 22:09:13 -04:00
Simon Cruanes	2d8fc78bc4	add expect test for the sudoku solver	2021-12-07 14:39:21 -05:00
Simon Cruanes	72d121fa64	add example: the suduko solver, adapted from msat	2021-12-07 14:10:36 -05:00