module Ast_dimacs: sig .. end
AST requirements for the Dimacs format.
Dimacs is a very simple format intended to express CNFs (conjunctive normal forms)
in the simplest format possible.
module type Term = sig .. end
Requirements for implementations of Dimacs terms.
module type Statement = sig .. end
Requirements for implementations of Dimacs statements.