Up – Package index » touist » Library touist.qbf » Touist_qbf

Module `Touist_qbf`Source

Sourcemodule QbfSolve : sig ... end

Requires qbf Process a CNF AST to clauses in order to solve them with Quantor.