Module type Satproc.SATPROC


module type SATPROC = sig .. end

val initialize : Satproc.ident -> Satproc.entries
Called to initialize the decision procedure and to create a table of the entry points.