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
Last released Sep 28, 2022
A MOOC grading executable and library for MiniZinc modelling courses
Last released Sep 12, 2022
placeholder for package in current development
Supported by