0ebcc2f51bfd16d91896a77b8e5533f1b336024b
[satune.git] / src / Tuner / autotuner.cc
1 #include "autotuner.h"
2 #include "csolver.h"
3
4 void AutoTuner::addProblem(CSolver *solver) {
5         solvers.push(solver);
6 }
7
8 void AutoTuner::tune() {
9         
10         
11 }