05/fef021433e81503ca14d409e39b128ae0f659a3a15549f748d7d38a8e4da/zonoopt-2.4.1.tar.gz

#ifndef ZONOOPT_GUROBI_SOLVER_HPP_

#define ZONOOPT_GUROBI_SOLVER_HPP_


#include "Eigen/Dense"

#include "Eigen/Sparse"


#include "SolverDataStructures.hpp"

#include "GurobiSettings.hpp"


namespace ZonoOpt

{

namespace detail

{


bool gurobi_available();


OptSolution solve_qp_gurobi(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 GurobiSettings& settings);


OptSolution solve_miqp_gurobi(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 GurobiSettings& settings);


std::vector<OptSolution> solve_miqp_gurobi_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 GurobiSettings& settings);


} // namespace detail

} // namespace ZonoOpt


#endif

GurobiSettings.hpp
Settings for the dynamically-loaded Gurobi solver backend.

bin_count
int bin_count
Definition GurobiSolver.cpp:378

bin_start
int bin_start
Definition GurobiSolver.cpp:377

SolverDataStructures.hpp
Optimization settings and solution data structures for ZonoOpt library.

zono_float
#define zono_float
Defines the floating-point type used in ZonoOpt.
Definition ZonoOpt.hpp:45

ZonoOpt
Definition ZonoOpt.hpp:58