/VLSI

Project for modelling and solving the VLSI (Very Large Scale Integration) combinatorial decision problem with CP, SAT, SMT and ILP.

Primary LanguageJupyter NotebookThe UnlicenseUnlicense

No issues in this repository yet.