projects
/
satune.git
/ blob
commit
grep
author
committer
pickaxe
?
search:
re
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
}