Dekker1/MiniZinc-Auto-Tabling-Models
Archived
1
0
Fork 0
Code
This repository has been archived on 2025-03-03. You can view files and clone it, but cannot push or open issues or pull requests.
MiniZinc-Auto-Tabling-Models/README.md
Jip J. Dekker 24368859ae Initial commit
2016-11-21 17:41:32 +01:00

95 B
Raw Blame History

MiniZinc-Auto-Tabling-Models

Models using an intrinsic autotabulation mechanism in MiniZinc.