libpcp (cargo): A constraint solver supporting arithmetic constraints over integers.
Keywords: combinatorial|satisfiability|constraint|solving|csp|constraint-programming|rust|solver