solver/ilp-solve.h Source File

00001 /*
00002  * ilp-solve.h
00003  *
00004  *  Created on: Jan 15, 2009
00005  *      Author: tdillig
00006  */
00007 
00008 #ifndef ILPSOLVE_H_
00009 #define ILPSOLVE_H_
00010 
00011 
00012 #include <vector>
00013 #include <set>
00014 #include "bignum.h"
00015 
00016 class Matrix;
00017 class Equation;
00018 
00019 bool ilp_sat(Matrix & m, vector<bignum>* sat_assign, bool verbose);
00020 
00021 bool ilp_sat(Matrix & m, set<set<pair<Equation*, bignum> > >& neq,
00022                 vector<bignum>* sat_assign, bool verbose);
00023 
00024 void reset_branch_counters();
00025 
00026 
00027 
00028 
00029 #endif /* ILPSOLVE_H_ */