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