fmerizzi/VLSI_project
Combinatiorial Optimization applied to the rectangle packing problem, using Minizinc and Z3 solvers
Python
No issues in this repository yet.
Combinatiorial Optimization applied to the rectangle packing problem, using Minizinc and Z3 solvers
Python
No issues in this repository yet.