Author: Ralf Treinen <treinen@debian.org>
Description: invoke minisat+ with switch for old-format input

Index: packup-0.2011.05.15/ExternalWrapper.cc
===================================================================
--- packup-0.2011.05.15.orig/ExternalWrapper.cc	2011-05-15 21:28:27.000000000 +0200
+++ packup-0.2011.05.15/ExternalWrapper.cc	2011-05-15 21:29:18.000000000 +0200
@@ -33,7 +33,7 @@
 :min_cost(LONG_MAX)
 ,solution_value (-1)
 ,_id_manager(id_manager)
-,solver_command("minisat+ -cs -ansi")
+,solver_command("minisat+ -cs -ansi -old-fmt")
 ,multiplication_string("*")
 ,temporary_directory("/tmp")
 ,leave_temporary_files(false)
