rectangular-packing

Here is 1 public repository matching this topic...

alessandrostockman / cdmo-vlsi

Combinatorial Decision Making and Optimization project on Very Large Scale Integration (VLSI) with Constraint Programming (CP), propositional SATisfiability (SAT), and Satisfiability Modulo Theories (SMT)

python smt vlsi cp sat minizinc z3py constraint-optimization rectangular-packing

Updated Sep 10, 2021
Python

Add this topic to your repo

To associate your repository with the rectangular-packing topic, visit your repo's landing page and select "manage topics."

Learn more