contimatteo/VLSI
Project for modelling and solving the VLSI (Very Large Scale Integration) combinatorial decision problem with CP, SAT, SMT and ILP.
Jupyter NotebookUnlicense
No issues in this repository yet.
Project for modelling and solving the VLSI (Very Large Scale Integration) combinatorial decision problem with CP, SAT, SMT and ILP.
Jupyter NotebookUnlicense
No issues in this repository yet.