2 solvers de restricciones en Python

El de Gustavo Niemeyer:

python-constraint - Labix

python-constraint is a Python module offering solvers for Constraint Solving Problems (CSPs) over finite domains in simple and pure Python. CSP is class of problems which may be represented in terms of variables (a, b, ...), domains (a in [1, 2, 3], ...), and constraints (a < b, ...).



El de Logilab:

logilab-constraint (a constraint satisfaction problem solver written in 100% pure Python) (elo)

The constraint package is a constraint satisfaction problem solver written in 100% pure Python. The implementation uses constraint propagation algorithms. Constraints and Domain implementations are provided to work with finite domains and finite intervals. It should be fairly easy to add new kind of domains such as finite integer domains, together with specialized constraints.