Fix some comments and if in solution

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

diff --git a/scripts/solution.py b/scripts/solution.py
index ee1c04300de99216bd10439159a5929d8c99cf09..60e95386341af5fda25e5b34b58ab91a27eaf77e 100644 (file)
--- a/scripts/solution.py
+++ b/scripts/solution.py
@@ -10,13 +10,7 @@ from exceptions import NoSolution
 
 def generate():
        """Collect boolean equations from files: rules, solved and required
-       And get solution with minisat
-
-       Relevant configurations
-          rules_file
-          solver_file
-          required_file
-          solution_file
+       And get solution with picosat
        """
        # Check if rules_file exist. If it was generated.
        if not os.path.isfile(sf(conf.rules_file)):
@@ -52,8 +46,8 @@ def generate():
 
        w_file.close()
 
-       # Execute minisat
-       if conf.minisat_output:
+       # Execute picosat
+       if conf.picosat_output:
                subprocess.call([conf.picosat, w_file.name, '-o',
                        sf(conf.solution_file)] + conf.picosat_args)
        else: