Combinatiorial Optimization applied to the rectangle packing problem, using Minizinc and Z3 solvers
Primary LanguagePython