From 289b0ce128cdca79676307646eef3d56c25c6dd2 Mon Sep 17 00:00:00 2001 From: =?UTF-8?q?Karel=20Ko=C4=8D=C3=AD?= Date: Tue, 5 May 2015 11:45:40 +0200 Subject: Add minisat config --- scripts/solution.py | 4 ++-- 1 file changed, 2 insertions(+), 2 deletions(-) (limited to 'scripts') diff --git a/scripts/solution.py b/scripts/solution.py index a09257a..649e3d2 100644 --- a/scripts/solution.py +++ b/scripts/solution.py @@ -54,10 +54,10 @@ def generate(): # Execute minisat if conf.minisat_output: - subprocess.call(['minisat', w_file.name, sf(conf.solution_file)] + subprocess.call([conf.minisat, w_file.name, sf(conf.solution_file)] + conf.minisat_args) else: - subprocess.call(['minisat', w_file.name, sf(conf.solution_file)] + subprocess.call([conf.minisat, w_file.name, sf(conf.solution_file)] + conf.minisat_args, stdout=subprocess.DEVNULL) os.remove(w_file.name) -- cgit v1.2.3