Msat_sat.ml
msat
msat.backend
msat.backtrack
msat.sat
msat.tseitin
1 2 3 4 5 6 7 8 9 10 11 (* MSAT is free software, using the Apache license, see file LICENSE Copyright 2016 Guillaume Bury *) module Int_lit = Int_lit include Msat.Make_pure_sat(struct module Formula = Int_lit type proof = unit end)
1 2 3 4 5 6 7 8 9 10 11
(* MSAT is free software, using the Apache license, see file LICENSE Copyright 2016 Guillaume Bury *) module Int_lit = Int_lit include Msat.Make_pure_sat(struct module Formula = Int_lit type proof = unit end)