Add minisat config

[linux-conf-perf.git] / scripts / solution.py

diff --git a/scripts/solution.py b/scripts/solution.py
index a09257a2f0e971cf05b84247a034f238c11057b7..649e3d204bdcf6bd0bdca6a5e9946f07aaea6d94 100644 (file)
--- 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)