Re-enable the MiniZinc tests for optimal coloring

[odow]

Closes #303

[amontoison]

Thanks @odow !

[codecov]

Codecov Report

✅ All modified and coverable lines are covered by tests.
✅ Project coverage is 97.43%. Comparing base (b88875a) to head (2796188).
⚠️ Report is 1 commits behind head on main.

Additional details and impacted files

@@            Coverage Diff             @@
##             main     #346      +/-   ##
==========================================
- Coverage   99.17%   97.43%   -1.74%     
==========================================
  Files          22       22              
  Lines        2304     2304              
==========================================
- Hits         2285     2245      -40     
- Misses         19       59      +40     

☔ View full report in Codecov by Harness.
📢 Have feedback on the report? Share it here.

🚀 New features to boost your workflow:

• ❄️ Test Analytics: Detect flaky tests, report on failures, and find test suite problems.