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