graphsat

A python package that recognizes clauses, Cnfs, graphs, hypergraphs, and multi-hypergraphs. The package implements local graph-rewriting, graph-satchecking, calculation of graph …

Stars

3

Forks

2

Language

Jupyter Notebook

Last Updated

Nov 17, 2022

Similar Repos