Constraint Programming and Modeling library in Python, based on numpy, with direct solver access.
tias/cppy