Constraint Satisfaction in Rust