sat.ml
hardcaml_verify
hardcaml_verify.kernel
1 2 3 4 type 'model t = | Sat of 'model | Unsat [@@deriving sexp_of]
1 2 3 4
type 'model t = | Sat of 'model | Unsat [@@deriving sexp_of]