From 1e7efbabd3d9d90a0a63b056d26e71331cd7dd3f Mon Sep 17 00:00:00 2001 From: =?UTF-8?q?Karel=20Ko=C4=8D=C3=AD?= Date: Sun, 22 Mar 2015 22:32:45 +0100 Subject: Add possibility to hide programs output --- scripts/solution.py | 6 +++++- 1 file changed, 5 insertions(+), 1 deletion(-) (limited to 'scripts/solution.py') diff --git a/scripts/solution.py b/scripts/solution.py index 0ad1c4f..0ba4d93 100644 --- a/scripts/solution.py +++ b/scripts/solution.py @@ -5,6 +5,7 @@ import subprocess import utils from conf import conf +from exceptions import NoSolution def generate(): """Collect boolean equations from files: rules, solved and required @@ -53,7 +54,10 @@ def generate(): w_file.close() # Execute minisat - subprocess.call(['minisat', w_file.name, conf.solution_file]) + if conf.minisat_output: + subprocess.call(['minisat', w_file.name, conf.solution_file]) + else: + subprocess.call(['minisat', w_file.name, conf.solution_file], stdout=subprocess.DEVNULL) os.remove(w_file.name) -- cgit v1.2.3