GitHub repository: vaibhavkarve/graphsat
Primary language: Jupyter Notebook
Created: 2021-03-27T01:47:48Z
Description: 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.