edit
[satune.git] / src / Tuner / autotuner.h
1 #ifndef AUTOTUNER_H
2 #define AUTOTUNER_H
3 #include "classlist.h"
4
5 class AutoTuner {
6  public:
7         AutoTuner();
8         void tune(CSolver *solver);
9         MEMALLOC;
10  private:
11 };
12 #endif