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