fmerizzi / vlsi_project Goto Github PK

Optimization project on the VLSI problem.

1. I used a powerful global constraint called DIFFN to ensure non-overlap
2. I changed a bit the data structures, Instead of a single [Cx2] array I opted for two single dimension arrays [C][C].
3. I found the upper/lower bound limits to be inconsistent, so I changed to different ones.
4. I developed a small visualizing program, its useful and It helped understanding some critical behaviour. Its not fully automated but I changed the output from minizinc, so to be easly copied and pasted in the python program.
5. I did some statistical comparison between baseline and diffn that we can include in the project report. I included some graphics. Results are as expected, the global constraint is a big improovement.
6. I made this repo, if you like github we can work here

1. symmetry breaking