GitHub / crillab / gophersat
gophersat, a SAT solver in Go
JSON API: https://ecosystem.code.gouv.fr/api/v1/hosts/GitHub/repositories/crillab%2Fgophersat
Stars: 383
Forks: 23
Open issues: 7
License: mit
Language: Go
Size: 18.4 MB
Dependencies parsed at: Pending
Created at: about 8 years ago
Updated at: 4 days ago
Pushed at: 4 months ago
Last synced at: about 9 hours ago
Topics: artificial-intelligence, boolean-formulas, constraint-satisfaction-problem, constraints, pseudo-boolean-solver, sat-solver
Readme
Loading...