Module Regstab


module Regstab: sig .. end
The strategy for Regular Schemata TABleaux.


Author(s): Vincent Aravantinos


val regstab : ?cstr:Constraint.t -> Schema.t -> Satisfiability.t