SCIPSolver.hpp

Go to the documentation of this file.

#ifndef ZONOOPT_SCIP_SOLVER_HPP_
#define ZONOOPT_SCIP_SOLVER_HPP_
 
#include "Eigen/Dense"
#include "Eigen/Sparse"
 
#include "SolverDataStructures.hpp"
#include "SCIPSettings.hpp"
 
namespace ZonoOpt
{
namespace detail
{
 
bool scip_available();
 
OptSolution solve_qp_scip(const Eigen::SparseMatrix<zono_float>& P,
                          const Eigen::Vector<zono_float, -1>& q,
                          zono_float c,
                          const Eigen::SparseMatrix<zono_float>& A,
                          const Eigen::Vector<zono_float, -1>& b,
                          const Eigen::Vector<zono_float, -1>& xi_lb,
                          const Eigen::Vector<zono_float, -1>& xi_ub,
                          const SCIPSettings& settings);
 
OptSolution solve_miqp_scip(const Eigen::SparseMatrix<zono_float>& P,
                            const Eigen::Vector<zono_float, -1>& q,
                            zono_float c,
                            const Eigen::SparseMatrix<zono_float>& A,
                            const Eigen::Vector<zono_float, -1>& b,
                            const Eigen::Vector<zono_float, -1>& xi_lb,
                            const Eigen::Vector<zono_float, -1>& xi_ub,
                            int bin_start, int bin_count,
                            bool zero_one_form,
                            const SCIPSettings& settings);
 
std::vector<OptSolution> solve_miqp_scip_multisol(const Eigen::SparseMatrix<zono_float>& P,
                                                  const Eigen::Vector<zono_float, -1>& q,
                                                  zono_float c,
                                                  const Eigen::SparseMatrix<zono_float>& A,
                                                  const Eigen::Vector<zono_float, -1>& b,
                                                  const Eigen::Vector<zono_float, -1>& xi_lb,
                                                  const Eigen::Vector<zono_float, -1>& xi_ub,
                                                  int bin_start, int bin_count,
                                                  bool zero_one_form,
                                                  int n_sols,
                                                  const SCIPSettings& settings);
 
} // namespace detail
} // namespace ZonoOpt
 
#endif