A logic programming language like Prolog seems like it would have been a good fit for solving the bytecode packing with constraints.