From: Christoph Egger <christoph@christoph-egger.org>
Date: Wed, 20 Apr 2016 13:57:26 +0000 (+0200)
Subject: Add in some whitespace
X-Git-Url: https://git.siccegge.de//index.cgi?p=master%2Fcool-versuchung.git;a=commitdiff_plain;h=7dd24bbce0f1e7d103e95ac90a6b43e69afc646a

Add in some whitespace
---

diff --git a/cool.py b/cool.py
old mode 100644
new mode 100755
index 1b96352..d6b400c
--- a/cool.py
+++ b/cool.py
@@ -11,16 +11,20 @@ import os
 def natural_key(string_):
     return [int(s) if s.isdigit() else s for s in re.split(r'(\d+)', string_)]
 
+
 class SolverExperiment(Experiment):
     inputs = { 'formulas' : TarArchive() }
     outputs = { 'timing' : Directory() }
 
+
     def build_solver(self):
         pass
 
+
     def run_solver(self, formula):
         pass
-    
+
+
     def run(self):
         print("Building Solver ...")
         self.build_solver()
@@ -34,25 +38,29 @@ class SolverExperiment(Experiment):
                 break
 
 
+
 class CoolExperiment(SolverExperiment):
     inputs = { 'cool' : GitArchive() }
     outputs = {}
 
+
     def __init__(self):
         CoolExperiment.inputs.update(SolverExperiment.inputs)
         CoolExperiment.outputs.update(SolverExperiment.outputs)
         super(CoolExperiment, self).__init__()
-    
+
+
     def build_solver(self):
         with self.inputs.cool as path:
             shell("make")
 
+
     def run_solver(self, formula):
         with self.inputs.cool as path:
             shell("timeout 1001 ./coalg.native sat KD --verbose < %s" % formula)
-            
-                
-            
+
+
+
 if __name__ == "__main__":
     import sys
     experiment = CoolExperiment()