1 2 3 4 5
satrs-shared ========= Subcrate for some shared sat-rs framework components not expected to change very often. You can find more information on the [homepage](https://egit.irs.uni-stuttgart.de/rust/sat-rs).