sat

Build Status

Interface for defining and solving Boolean satisfiability (SAT) problems in Rust.

Documentation