MiniZinc, constraint modelling language solve discrete optimisation problems | Hacker News Reader