1
#ifndef LP_SOPLEX_H_INCLUDED
2
#define LP_SOPLEX_H_INCLUDED
7
class LpSolverSoPlexCddGmp : public LpSolverCddGmp
10
const char *name(){return "SoPlexCddGmp";}
11
bool isFacet(const IntegerVectorList &g, IntegerVectorList::const_iterator i);
12
bool hasHomogeneousSolution(int n, const IntegerVectorList &inequalities, const IntegerVectorList &equations);