Series of benchmarks for computing boolean Groebner bases
-
Updated
Aug 25, 2019 - Python
Series of benchmarks for computing boolean Groebner bases
An educational purposes repository with algorithms for solving SAT problems with Groebner Bases.
Add a description, image, and links to the groebner topic page so that developers can more easily learn about it.
To associate your repository with the groebner topic, visit your repo's landing page and select "manage topics."