contimatteo/VLSI
Project for modelling and solving the VLSI (Very Large Scale Integration) combinatorial decision problem with CP, SAT, SMT and ILP.
Jupyter NotebookUnlicense
Stargazers
No one’s star 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 one’s star this repository yet.