NAC-colorings ========================= .. automodule:: flexrilog.NAC_coloring :members: :undoc-members: :show-inheritance: