DIMACS (:mod:`cpmpy.tools.dimacs`) ===================================================== .. automodule:: cpmpy.tools.dimacs :members: :undoc-members: :inherited-members: