bend-sat
A SAT solver written in Bend 2, with watched literals, clause learning, and a Bend checker for candidate models and resolution certificates. The repository documents the boundaries of its machine-checked proofs.
The sources
Explore the original posts and links behind this build.
GitHubhttps://github.com/sebastian-griego/bend-sat ↗GitHubhttps://github.com/sebastian-griego/bend-sat/blob/main/README.md ↗