GitHub / noqcks / solver

SAT solver library in Go; wraps around Google's Operational Research Tools

JSON API: http://repos.ecosyste.ms/api/v1/hosts/GitHub/repositories/noqcks%2Fsolver
PURL: pkg:github/noqcks/solver

Fork of irfansharif/solver
Stars: 0
Forks: 1
Open issues: 0

License: apache-2.0
Language: Go
Size: 291 KB
Dependencies parsed at: Pending

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

Funding Links https://github.com/sponsors/noqcks

Loading...