Solver-Aided Expansion of Loops to Avoid Generate-and-Test

Niklas Dewally, Özgür Akgün

Constraint modelling languages like MiniZinc and Essence rely on unrolling loops (in the form of quantified expressions and comprehensions) during compilation. Standard approaches…