pycddlib is a Python wrapper for Komei Fukuda's cddlib.
https://github.com/mcmtroffaes/pycddlib.git
(73f3537508fe9c9551124dab6f0878dedaa232c0)
