MiniZinc, constraint modelling language solve discrete optimisation problems www.minizinc.org 1 point by Alifatisk 1 minute ago