1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
|
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)
|
