facile

Python constraint programming library

LGPL-3.0 License

Downloads

295

Stars

23

Committers

View Code on GitHub Visit Website View on X

Ecosystems: OCaml, Python

python/readme.md

Package Rankings

Top 15.55% on Pypi.org

Related Projects

pycoq

Python bindings for the Coq interactive proof assistant