[](https://crates.io/crates/satrs) [](https://docs.rs/satrs) sat-rs ====== This crate contains the primary components of the sat-rs framework. You can find more information on the [homepage](https://egit.irs.uni-stuttgart.de/rust/sat-rs).