graph-disjunctions
There are 0 repository under graph-disjunctions topic.
vaibhavkarve / graphsat
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.
Language:Jupyter Notebook 5