proxy.golang.org : github.com/cespare/saturday

Package saturday implements a SAT solver using the Davis-Putnam backtracking algorithm plus a few optimizations as described in the 2001 paper Chaff: Engineering an Efficient SAT Solver.

Registry - Source - Documentation - JSON
purl: pkg:golang/github.com/cespare/saturday
License: MIT
Latest release: over 4 years ago
First release: over 4 years ago
Namespace: github.com/cespare
Stars: 23 on GitHub
Forks: 2 on GitHub
See more repository details: repos.ecosyste.ms
Last synced: 6 days ago

• Readme
• Versions 1
• Dependent Packages 0
• Maintainers 0