simon/sidekick
1
0
Fork 0
mirror of https://github.com/c-cube/sidekick.git synced 2025-12-09 20:55:39 -05:00
Code Issues Projects Releases Packages Wiki Activity Actions

Added log functor to Sat.Make

Browse source
This commit is contained in:
Guillaume Bury 2015-02-09 15:42:28 +01:00
parent 3d951db181
commit 23d18fe609
2 changed files with 2 additions and 2 deletions
Show stats Download patch file Download diff file Expand all files Collapse all files

2
sat/sat.ml
View file

@ -85,7 +85,7 @@ module Tsat = struct
end
module Make(Dummy : sig end) = struct
module Make(Log : Log_intf.S) = struct
module SatSolver = Solver.Make(Log)(Fsat)(Tsat)
exception Bad_atom

2
sat/sat.mli
View file

@ -8,7 +8,7 @@ module Fsat : Formula_intf.S with type t = int
module Tseitin : Tseitin.S with type atom = Fsat.t
module Make(Dummy: sig end) : sig
module Make(Log: Log_intf.S) : sig
(** Fonctor to make a pure SAT Solver module with built-in literals. *)
exception Bad_atom