tsolver.h

Go to the documentation of this file.

#ifndef TSOLVER_H
#define TSOLVER_H

#include <vector>
#include "MaxSAT.h"
#include "algorithms/Alg_OLL.h"
#include "mtl/Vec.h"

using namespace NSPACE;
using namespace openwbo;

class TSolver : public OLL {
 public:
  TSolver(int, int);
  std::vector<lbool> tSearch();
  void tWeighted();
};

#endif