An application of Constraint Programming and Satisfiability Modulo Theories to the NP-complete problem known as Optimal Rectangle Packing.
frallebini/optimal-rectangle-packing
An application of constraint programming and satisfiability modulo theories to the NP-complete problem known as optimal rectangle packing
Python