Reverse Dependencies of minizinc

The following projects have a declared dependency on minizinc:

• cpmpy — A numpy-based library for modeling constraint programming problems
• discrete-optimization — Discrete optimization library
• idesyde — Generic Design Space Exploration for models based system design
• mcp-solver — MCP server for constraint solving
• mzn-bench — SLURM scheduling functionality and a collection of scripts to process the resulting data
• mzn-grader — A MOOC grading executable and library for MiniZinc modelling courses
• pykp — Tooling for sampling and solving instances of the 0-1 Knapsack Problem.
• tomato-cooker — Minizinc problem solver
• trappist — Minimal Trap Spaces computation using Maximal Siphons
• zython — Express constraint programming problem with python and solve it with minizinc