/2021/day24/

• ../
• 24_convert.py
• 24a.mzn
• 24b.mzn