/sat

Interface for defining and solving SAT problems in Rust

Primary LanguageRustApache License 2.0Apache-2.0

sat

Build Status

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

Documentation