The MiniZinc Handbook
1. Overview
2. A MiniZinc Tutorial
3. User Manual
4. Reference Manual
The MiniZinc Handbook
Index
Index – K
knapsack
Global constraints