Python constraint programming library
LGPL-3.0 License
Python bindings for the Coq interactive proof assistant