Questions tagged [solver]

For questions related to software designed to solve very general classes of optimization problems to guaranteed optimality.

Filter by
Sorted by
Tagged with
4
votes
1answer
55 views

How to evalute the quality of a solver (beyond solution quality and time efficiency)?

I built a solver for a classic scheduling problem. It has some exact methods and some heuristics methods. I want to judge the quality of the work beyond time efficiency and solution quality. For ...
1
vote
0answers
41 views

CPLEX keeps restarting in Pyomo

I tried running my model by adding the following settings to CPLEX. ...
3
votes
1answer
55 views

View of Constraints and Decision Variables in Pyomo

I have just attempted to construct my first Pyomo model. However, I was unable to locate any documentation that shows how to view constraints, decision variables. As my model is big, I need to see ...
5
votes
2answers
176 views

How to find all vertices of a polyhedron

I have a convex polyhedron given by a set of linear inequalities, for example: $$ x_1 \geq 0,~~ x_2 \geq 0, ~~x_3\geq 0 \\ x_1+x_2\leq 1,~~ x_2+x_3\leq 1,~~ x_3+x_1\leq 1 $$ I want to list all the ...
1
vote
2answers
194 views

Downloading and setting up CPLEX for Pyomo

I have just installed Anaconda and am intending to use Spyder as it is able to display variable, parameter values for debugging. After which, I am planning to use Pyomo to code my MIP model and invoke ...
5
votes
0answers
87 views

What is the difference between root relaxation and LP relaxation

(I apologize. I saw this question but, I do not know these may be the same or not.) I am trying to solve a MIP problem and have an issue about that. The problem's LP relaxation has the objective ...
3
votes
2answers
118 views

Using R for coding Matheuristic for Research Publication

Given that R possesses superior data pre-processing and post-processing packages, I am thinking of coding a matheuristic using R for publishing in an academic research journal. However, I am unable ...
3
votes
1answer
65 views

Supported pyomo free solvers for (non-convex) quadratic programming

Any one had the chance to use pyomo with free/open-source solvers that handle quadratic optimization problems, which they could be convex or not, but preferably as general as possible.
9
votes
1answer
235 views

What are the pros and cons of LocalSolver?

LocalSolver is a company which provides a global optimization solver, combining exact and heuristic techniques. The benchmarks on their website are quite impressive. For example, they claim they can ...
5
votes
3answers
194 views

Problem with binary decision variable constraints in VRP

I would like to create non-linear violation costs in my VRP. I already created my whole VRP with time windows in which I have these decision variable: ...
2
votes
1answer
79 views

Nested set in OPL/CPLEX

I'm trying to solve a scheduling problem using OPL/CPLEX. In the model, there are nine tasks in which each task has its specific precedence. the precedence relationship is as follows: ...
2
votes
0answers
65 views

Branch-and-Price: return gap using SCIP

I implemented a branch-and-price tree in python. I would like to stop the process after 5 hours and return the gap in % between the best integer solution found so far and the optimal solution. How ...
6
votes
3answers
988 views

Is it abnormal for a model to take 8+ hours to solve?

I am building my first optimization model, it is quite large and also a non-linear problem. I have had my model solving on the NEOS Optimization Server and after 8 hours of trying to solve, the server ...
6
votes
2answers
193 views

How can I maximize the sum of norm.dist values using solver?

EDIT #2 5/17/2020: I re-phrased my question once more. My original question is still at the end. Thanks for the feedback. I want to know if it's possible to maximize the sum of cumulative ...
3
votes
1answer
85 views

Problem solving a linear program using Excel

The exercise is as follows: ACI has decided to put an order for golf shoes twice every year and expects to receive one shipment of $960$ pallets of shoes by the beginning of January and another ...
3
votes
1answer
135 views

Approximation methods for a mixed integer convex optimization problem

I have a convex objective function, e.g., minimizing the negative entropy function. My constraints are also linear. The only issue is that I also have binary variables. I am currently aware of AIMMS'...
2
votes
0answers
48 views

How to solve an LPP with summation

Up until this point I have only solved simple LPP problems with maybe 2 to 3 variables that looked like this, using pen and paper. I need to solve This Problem using Simplex, Dual Simplex, Big M and ...
5
votes
1answer
104 views

Which solver solves PSD constrained convex non-linear problem

I have a problem with a vector variable $w \in \mathbb{R}^n$ and a symmetric matrix variable $V \in \mathbb{R^{n \times n}}$. I am solving a problem which is roughly like: \begin{align} \begin{array}{...
8
votes
1answer
146 views

Can Gurobi or CPLEX handle nonlinearly constrained problems?

Though my title is quite general (please feel free to edit), indeed, I wonder if the following models can be solved in Gurobi or CPLEX. Model 2 is just an alternative one to Model 1. Although we ...
6
votes
2answers
84 views

Are there some benchmark problems for CSP Solvers?

I am building my own CSP solver with simple backtracking, AC3 filtering and variable/value ordering heuristics. It supports non binary constraints. I've done some good progress and I'd like to ...
5
votes
0answers
77 views

How to communicate number of integer combinations to a user

I'm working on a nifty little feature for our next release, i.e., to print the number of possible integer combinations left during branch and bound. This is really handy for the user because they ...
6
votes
1answer
168 views

CP-SAT ortools - Is there any complete list of possible/available StringParameters for the CpSolver?

I wonder if there is any list of string parameters documented. So far, I only know max_time_in_seconds and num_search_workers. ...
3
votes
1answer
98 views

Graphical illustration Excel

I have formulated a linear optimization model and solve it using the Excel Solver. How can I illustrate the slacks vs usage?
3
votes
2answers
99 views

How can I direct the behaviour of a MILP Solver

I have a model involving constraints of the form $$d(i) = a \cdot W(i) + b \cdot B(i)$$ where $W(i)$ is binary and $d(i), B(i)$ are positive reals. The objective function is $\max\sum B(i)$. While ...
7
votes
3answers
158 views

Ways to strengthen QCQP relaxations

I was wondering what types of methods can be used to strengthen QCQP relaxations. Our solver has all the standard stuff, like constraint propagation, presolving, etc., but some QCQP problems seem to ...
5
votes
1answer
311 views

How to run MOSEK solver in CVXOPT

I have written a small code to do a simple min variance optimisation using CVXOPT, you can see the whole code below By using solvers.qp(P, q, G, h, A, b) in CVXOPT ...
6
votes
2answers
244 views

Academic Licenses of Baron & Knitro

Is there a way to obtain a free BARON or Knitro license? I am doing academic research and I really need these global optimization solvers (Knitro is not necessarily for global optimization, although ...
5
votes
0answers
59 views

Solver for Go Programming Laguage

Has anyone used MIP solvers (open source or commercial) with Go language https://golang.org/? I am looking for a solver for simple linear MIPs for network flows and set cover types of problems.
5
votes
0answers
96 views

All optimal solutions

I have a following problem: If I have some function $aX+bY+cZ+mD+nF$ and I want to maximize it and have some constraints, how can I find ALL solutions for this maximum value of the function? To sum ...
13
votes
2answers
634 views

What is the difference between optimization software APIs based on performance and speed?

The state-of-art solvers like CPLEX or Gurobi and some of the open-source solvers have had the different APIs (like Python, C/C++, Java, etc.) in which users could write their MP model in own ...
11
votes
5answers
655 views

How to implement a “generic” solver for scheduling problems?

I have been accepted for an internship for 6 months. The aim of this internship is to implement a "generic" solver for scheduling/production planning problems. This solver will bill a small prototype ...
12
votes
2answers
932 views

How fair is limit solver threads when publishing?

Reading gurobi reference manual I found this: We have also found that certain classes of MIP models benefit from reducing the thread count, often all the way down to one thread. Starting multiple ...
8
votes
0answers
58 views

Which Constraint solver is extensible to CSP algorithms?

I am novice to constraint programming and I need to implement the following algorithms. Backtacking Conflict-based backjumping AC partial lookahead MAC Forward checking Forward checking + dom ...
7
votes
0answers
98 views

Connection between solver and Julia's JuMP Package

I'm looking for ways or tips to connect a solver with the JuMP Package. I started reading the manual of Math Opt Interface (I don't know the right terms, but I'll call it the Backend of the JuMP), ...
10
votes
1answer
268 views

Partial Relaxation

In the context of a larger optimization problem I realized that I am missing the skill to implement/exploit the following observation: In the problem I was faced with two related sets of indicator ...
7
votes
3answers
433 views

Constraint programming using solver: how to state the time limit of search?

Could someone give additional explanations about the TimeLimit of CPLEX for CPO? I am using CPLEX to solve a problem of assignment and scheduling in which each task needs to be assigned to a worker, ...
12
votes
2answers
200 views

Can Tuning Knitro Solver Considerably Make A Difference?

I have an NLP that I am hoping to solve with Knitro and I am aware of a multitude of different settings that you can "tune" in order to improve solution performance. I am not familiar with ...
10
votes
3answers
732 views

Do solvers use GUB/SOS1 branching?

GUB/SOS1 branching is an old and well-known idea (see for example page 9 of Jeff Linderoth's notes). Is this implemented in commercial solvers these days? The Gurobi documentation mentions SOS1 ...
8
votes
2answers
1k views

Implementing solvers with Object Oriented Programming

I would like to know what are some best practices in designing a solver implementation with Object Oriented Programming. We have implemented a solver with procedural programming paradigm, using python,...
11
votes
3answers
940 views

YALMIP-like modeling environment in Python

What are the handiest optimization parsers out there? Is COIN-OR's PyPy being used actively? I am currently trying to do an optimization project in Python, but I am used to using MATLAB + YALMIP ...
8
votes
1answer
133 views

GLPK: meaning of the "marginal' column in the solution output

I'm using GLPK to solve an LP. I use it through its standalone solver, that I call with the glpsol command, and I get the solution detail written in a file using ...
11
votes
1answer
403 views

Solvers and saddle points

It seems like most solvers that can tackle nonlinear nonconvex optimization problems (e.g. IPOPT) operate on ultimately solving for the first-order optimality conditions. Can it therefore be assumed ...
10
votes
3answers
246 views

Parallel nonlinear solvers

I've noticed that parallel (CPU or GPU) nonlinear programming solvers are few and far between. It seems that if any parallelization is involved at all, it generally applies to solving the underlying ...
11
votes
2answers
465 views

Dedicated solver for convex problems

Are you aware of a fast solver (open source or commercial) for convex NLPs that is faster than IPOPT? I'm interested in problems in the 50K+ variable range, both dense and sparse. Ideally, it would be ...
11
votes
4answers
1k views

Citing CPLEX 12.9

Simple question, but very hard to find an answer. How can I cite version 12.9 of CPLEX? Shall I cite the very first CPLEX and indicate that I am using the version 12.9 of this, or shall I cite the ...
19
votes
2answers
799 views

How do we decide/plan an SLA for an NP-hard optimization process running in production?

How do you decide or plan an SLA (Service Level Agreement) for an application that depends on an optimization process when the problems you deal with are NP-hard? That is, if you are developing an ...
9
votes
3answers
317 views

How could we simplify solving the large scale MIPs without using any advanced methods like decompositions?

Many practical optimization models (specially MIPs) are NP-Hard and solving them need much time even with the modern solvers like CPLEX or GUROBI. One of the best way (but not easy) is using ...
7
votes
1answer
539 views

Excel Solver linear programming - Is it possible to use average of values as a constraint without #DIV/0! errors or sacrificing linearity?

I'm trying to create an assignment optimization model where the areas are assigned to either the south or north school districts so that the total distance is minimized. Each school must have at least ...
9
votes
1answer
259 views

I've formulated my optimization model; now what?

I've formulated my linear/nonlinear/integer/mixed-integer optimization problem in algebraic form (possibly with the help of the folks on this site). Now what? How do I solve it?
9
votes
2answers
130 views

When should I use a solver for IP and MIP and can I just use a library from Python, R, Matlab, etc…?

Are there any rules of thumb for figuring out when you need to use a solver like Gurobi or CPLEX, and when you can just solve you problems directly with a Python, R, or Matlab package? Is it just a ...