nf.c

#include<scil/scil.h>

using namespace SCIL;

#define N 10000000

int main() {

  ILP_Problem IP(Optsense_Min);

  var x,y;

  x=IP.add_variable(N,-N,N,Vartype_Integer);
  y=IP.add_variable(N,-N,N,Vartype_Integer);

  IP.add_basic_constraint(N*x + N*y >= 1);

  IP.optimize();

  cout<<IP.get_solution(x)<<" "<<IP.get_solution(y)<<endl;

  return 0;
};

---