alessandrostockman / cdmo-vlsi Goto Github PK
View Code? Open in Web Editor NEWCombinatorial Decision Making and Optimization project on Very Large Scale Integration (VLSI) with Constraint Programming (CP), propositional SATisfiability (SAT), and Satisfiability Modulo Theories (SMT)
License: MIT License