contimatteo / VLSI

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

Geek Repo

Github PK Tool