ZonoOpt 2.4.1
Loading...
Searching...
No Matches
GurobiSolver.hpp
Go to the documentation of this file.
1#ifndef ZONOOPT_GUROBI_SOLVER_HPP_
2#define ZONOOPT_GUROBI_SOLVER_HPP_
3
10#include "Eigen/Dense"
11#include "Eigen/Sparse"
12
14#include "GurobiSettings.hpp"
15
16namespace ZonoOpt
17{
18namespace detail
19{
20
28bool gurobi_available();
29
42OptSolution solve_qp_gurobi(const Eigen::SparseMatrix<zono_float>& P,
43 const Eigen::Vector<zono_float, -1>& q,
44 zono_float c,
45 const Eigen::SparseMatrix<zono_float>& A,
46 const Eigen::Vector<zono_float, -1>& b,
47 const Eigen::Vector<zono_float, -1>& xi_lb,
48 const Eigen::Vector<zono_float, -1>& xi_ub,
49 const GurobiSettings& settings);
50
69OptSolution solve_miqp_gurobi(const Eigen::SparseMatrix<zono_float>& P,
70 const Eigen::Vector<zono_float, -1>& q,
71 zono_float c,
72 const Eigen::SparseMatrix<zono_float>& A,
73 const Eigen::Vector<zono_float, -1>& b,
74 const Eigen::Vector<zono_float, -1>& xi_lb,
75 const Eigen::Vector<zono_float, -1>& xi_ub,
76 int bin_start, int bin_count,
77 bool zero_one_form,
78 const GurobiSettings& settings);
79
89std::vector<OptSolution> solve_miqp_gurobi_multisol(const Eigen::SparseMatrix<zono_float>& P,
90 const Eigen::Vector<zono_float, -1>& q,
91 zono_float c,
92 const Eigen::SparseMatrix<zono_float>& A,
93 const Eigen::Vector<zono_float, -1>& b,
94 const Eigen::Vector<zono_float, -1>& xi_lb,
95 const Eigen::Vector<zono_float, -1>& xi_ub,
96 int bin_start, int bin_count,
97 bool zero_one_form,
98 int n_sols,
99 const GurobiSettings& settings);
100
101} // namespace detail
102} // namespace ZonoOpt
103
104#endif
Settings for the dynamically-loaded Gurobi solver backend.
int bin_count
Definition GurobiSolver.cpp:378
int bin_start
Definition GurobiSolver.cpp:377
Optimization settings and solution data structures for ZonoOpt library.
#define zono_float
Defines the floating-point type used in ZonoOpt.
Definition ZonoOpt.hpp:45
Definition ZonoOpt.hpp:58