The cnfformula library is capable to generate Conjunctive Normal Form (CNF) formulas, manipulate them and, when there is a satisfiability (SAT) solver properly installed on your system, test their satisfiability. The CNFs can be saved on file in DIMACS format, which the standard input format for SAT solvers , or converted to LaTeX  to be included in a document. The library contains many generators for formulas that encode various combinatorial problems or that come from research in Proof Complexity
References in zbMATH (referenced in 1 article )
Showing result 1 of 1.
- Lauria, Massimo; Elffers, Jan; Nordström, Jakob; Vinyals, Marc: CNFgen: a generator of crafted benchmarks (2017)