sat-rs/satrs-book/src/constrained-systems.md