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