/cmso-optimizer/scripts/minizinc/

• ../
• generic_attributes.mzn