GitHub / pavel-fokin / SymbSAT

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

JSON API: http://repos.ecosyste.ms/api/v1/hosts/GitHub/repositories/pavel-fokin%2FSymbSAT
PURL: pkg:github/pavel-fokin/SymbSAT

Stars: 3
Forks: 1
Open issues: 2

License: None
Language: Python
Size: 143 KB
Dependencies parsed at: Pending

Created at: over 9 years ago
Updated at: over 3 years ago
Pushed at: over 3 years ago
Last synced at: about 1 year ago

Topics: algorithm, computer-algebra, groebner, groebner-basis

Loading...