diff options
Diffstat (limited to 'scripts')
| -rw-r--r-- | scripts/solution.py | 4 |
1 files changed, 2 insertions, 2 deletions
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) |