pavel-fokin / SymbSAT Public

Notifications You must be signed in to change notification settings
Fork 1
Star 3

An educational purposes repository with algorithms for solving SAT problems with Groebner Bases.

3 stars 1 fork Branches Tags Activity

Notifications

Name		Name	Last commit message	Last commit date
Latest commit History 141 Commits
symbsat-cpp		symbsat-cpp
symbsat-py		symbsat-py
.gitignore		.gitignore
.travis.yml		.travis.yml
Makefile		Makefile
README.md		README.md
compile.sh		compile.sh
run_tests.sh		run_tests.sh
xtime.sh		xtime.sh

Repository files navigation

SymbSAT

An educational purposes repository with algorithms for solving SAT problems with Groebner Basis.

About

An educational purposes repository with algorithms for solving SAT problems with Groebner Bases.

algorithm computer-algebra groebner-basis groebner

Report repository

Releases

No releases published

Packages

No packages published

Languages

Python 52.2%
C++ 45.5%
Other 2.3%