Function solve

IntegerProgramming/IP_algorithms.cc:2408–3353

int solve(INPUT_FILE PROBLEM, INPUT_FILE GROEBNER)
{

  char format_string[128];
  int problem_variables;
  int elimination_variables;
  int weighted_variables;
  char elimination_refinement[128];
  char weighted_refinement[128];
  char algorithm[128];
  long size;
  long instances;

  ifstream problem(PROBLEM);
  ifstream groebner(GROEBNER);

  // verfifie existence of files

  if(!problem)
  {
    cerr<<"ERROR: int solve(INPUT_FILE, INPUT_FILE):\n"
      "cannot read from first input file "<< PROBLEM <<", possibly not found"<<endl;
    return 0;
  }

  if(!groebner)
  {
    cerr<<"ERROR: int solve(INPUT_FILE, INPUT_FILE):\n"
      "cannot read from second input file "<< GROEBNER <<", possibly not found"<<endl;
    return 0;
  }

// read GROEBNER file

  // read format specification

  groebner>>format_string;

  if(!groebner)
  {
    cerr<<"ERROR: int solve(INPUT_FILE, INPUT_FILE):\n"
      "input failure when reading format specification of second input file,\n"
      "input format not accepted"<<endl;
    return 0;
  }

  if(strcmp(format_string,"GROEBNER"))
    cerr<<"WARNING: int solve(INPUT_FILE, INPUT_FILE):\n"
      "second input file has suspicious format"<<endl;

  // read algorithm

  groebner>>format_string;

  if(!groebner)
  {
    cerr<<"ERROR: int solve(INPUT_FILE, INPUT_FILE):\n"
      "input failure before reading algorithm from second input file,\n"