unifier v0.1.0 — Constraint satisfaction / optimization (CSP/COP) modeling and solver framework for Rust, built on pathwise