This repository has been archived on 2025-03-06. You can view files and clone it, but cannot push or open issues or pull requests.

Jip J. Dekker da5aea9603

Update MiniZinc version to current develop

2021-03-23 16:46:22 +11:00

..

chuffed @ 2ed0c01558

Add MiniZinc and Chuffed submodules

2020-11-13 10:01:28 +11:00

minizinc @ 5a577826da

Update MiniZinc version to current develop

2021-03-23 16:46:22 +11:00