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