English MiniZinc Cited by user Dekker1 on 14 Sep 2020 MiniZinc is a constraint modelling language (or algebraic modeling language) to describe and solve high-complexity problems using a variety of well-known solving…