/VLSI_project

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

Primary LanguagePython

No issues in this repository yet.