AltErgoLib.Fun_sat
val src : Logs.src
module Make (_ : Theory.S) : sig ... end
A functional SAT solver implementation.