/cmso-optimizer/scripts/minizinc/

• ../
• generic_attributes.mzn
• run.bat
• run.sh