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