A python package that recognizes clauses, Cnfs, graphs, hypergraphs, and multi-hypergraphs. The package implements local graph-rewriting, graph-satchecking, calculation of graph disjunctions, as well as checking of new reduction rules.
graphs graph-theory hypergraphs satisfiability cnfs hyperedges clauses reduction-rules multi-hypergraphs graph-disjunctions
-
Updated
May 30, 2023 - Jupyter Notebook