Last released Feb 25, 2025
Access MiniZinc directly from Python
Last released Aug 3, 2023
SLURM scheduling functionality and a collection of scripts to process the resulting data
Supported by