SatPack encodes S.P. Fekete and J. Schepers modelization of OPP in the two-dimensional case. SatPack generatesa SAT formula which can be solved using a SAT solver. A solution of the formula corresponds to a solution of S.P. Fekete and J. Schepers modelization.
Read: Stéphane Grandcolas - Cédric Pinto "A SAT Encoding for Multi-dimensional Packing Problems", Integration of AI and OR Techniques in Constraint Programming for Combinatorial Optimization Problems (CPAIOR 2010), pp. 141-146, Bologna, Italy, 2010.
Download: SatPack for PC x86_64 on Linux.