Declarative modelling is an approach to solving problems with software that focuses on problem specification more than the details of execution. This paradigm focuses on the logic and structure of what must be solved and puts less focus on specifying the steps in how a solution is found.
This is in contrast to imperative programming, a paradigm that focuses on specifying the order of computations explicitly.
You want to solve some kind of a combinatorial problem, it involves putting lots of fiddly pieces in different places and seeing if they fit together. Maybe they are physical things, such as boxes, maybe they are abstract things, such as people's schedules. Is this you? What you need is MiniZinc.Published on September 18th, 2018 by Nick Downing.