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()
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()