module Show_stable: sig .. end
Stable calculus
val inv : string list -> string
Inverse the given formula (dimacs); positive values become negative, the negative ones, positive.
val is_stable : string -> string
Interprete the minisat's result.
val update_fnc : string -> unit
Deprecated.unused, minisat doesn't care about the size.
Update .dimacs first line.
val show_stable : unit -> unit
Calculate all stable generations.