simple_factorization_grb.cpp

Go to the documentation of this file.

 
#include "qbpp.hpp"
#include "qbpp_grb.hpp"
 
int main() {
  auto x = 1 <= qbpp::var_int("x") <= 100;
  auto y = 1 <= qbpp::var_int("y") <= 100;
  auto f = x * y == 97 * 89;
  auto quad_model = qbpp::QuadModel(simplify_as_binary(reduce(f)));
  std::cout << "quad_model has " << quad_model.var_count() << " variables, "
            << quad_model.term_count(1) << " linear terms, and "
            << quad_model.term_count(2) << " quadratic terms" << std::endl;
  auto model = qbpp_grb::QuadModel(quad_model);
  model.set_time_limit(10);
  auto callback = qbpp_grb::Callback(model);
  callback.set_target_energy(0);
  model.set(callback);
  auto sol = model.optimize();
  std::cout << "x = " << x << " = " << sol.get(x) << std::endl;
  std::cout << "y = " << y << " = " << sol.get(y) << std::endl;
}