add minisat and TNM sequential solvers in sat problem
[charm.git] / examples / charm++ / satisfiability / TNM / TNM.h
1 #ifndef _TNM_H_
2 #define _TNM_H_
3
4 #include <vector>
5
6 using namespace std;
7
8 bool seq_processing(int _var_size, const vector< vector<int> >& clauses);
9
10 #endif