module Ast_iCNF: sig .. end
AST requirements for the iCNF format.
iCNF is a very simple format intended to express CNFs (conjunctive normal forms)
in the simplest format possible. Compared to dimacs, iCNF allows local
assumptions, and does not require to declare the number of clauses and
formulas.
module type Term = sig .. end
Requirements for implementations of Dimacs terms.
module type Statement = sig .. end
Requirements for implementations of iCNF statements.