3 ms·MiniZinc, constraint modelling language solve discrete optimisation problems64 points by Alifatisk 6mo ago