19 votes

What is the purpose of libraries like Pyomo and Google OR tools?

Pyomo is an algebraic modeling language and allows users to easily represent optimization problems at a high-level (by defining variables, constraints, objective, etc.). Pyomo then provides interfaces ...
user avatar
16 votes

What is the purpose of libraries like Pyomo and Google OR tools?

OR-Tools is a set of solver: A very popular Routing Library built on top of a traditional constraint programming solver An award winning ...
user avatar
13 votes

From a performance/speed perspective, does the programming language matter if the solver used is the same?

The programming language used to setup the problem can matter under two circumstances. One is setup time of the problem this not only differs by programming language but also by the Gurobi interface ...
user avatar
10 votes

I've formulated my optimization model; now what?

You need to send your model to a solver. Let's discuss the "solver" part and the "send" part separately. The "solver" part: A solver is a piece of software that implements a general-purpose ...
user avatar
10 votes

Comparison of Algebraic modelling languages and general programming languages

GAMS and AMPL are general purpose modelling languages and can he used to describe any type of nonlinear function, including some niche stuff like floor, ceil, max, etc (AMPL). I don't have experience ...
user avatar
8 votes

What is the purpose of libraries like Pyomo and Google OR tools?

Different solvers have their own interfaces (for example Cplex studio by IBM). You can use the specific syntax for those IDE or interfaces to input your model and then use the solver to solve it. ...
user avatar
  • 8,340
5 votes
Accepted

How to assign values to array in CPLEX with C++?

According to the docs, IloNumArrays constructor signature is ...
user avatar
  • 1,192
4 votes
Accepted

No executable found for solver 'ipopt

One of the most important things to keep in mind is that we should install Pyomo in another environment than the base environment together with its solvers. However, this is not enough to use Pyomo ...
user avatar
  • 103
4 votes

From a performance/speed perspective, does the programming language matter if the solver used is the same?

For OptaPlanner (implemented in Java), we have done benchmarks and see no performance difference between use cases implemented in Java or Kotlin. This is no surprise, because both are running on a JVM....
user avatar
4 votes

How to get GAMS's solvers to work from Pyomo?

The syntax that you are using in your Pyomo code is correct and you should be able to access the GAMS solvers once Pyomo is able to find GAMS. As the error mentions, the GAMS command is not found in ...
user avatar
  • 1,045
3 votes

Is JuMPeR good enough for Robust Optimization problem?

As you mentioned that you looked for python packages for RO before and didn't find any you might want to have a look at RSOME. You can custom build uncertainty sets using affine constraints as well as ...
user avatar
  • 691
3 votes

Understanding the AMPL Solver LIbrary within Pyomo

The AMPL Solver Library (or ASL) is an open-source interface between solvers and modelling languages. As long as a solver can (i) read an .nl file and (ii) produce a .sol file, it will work out of the ...
user avatar
3 votes

From a performance/speed perspective, does the programming language matter if the solver used is the same?

As far as I know, the core of many of the mathematical optimization solvers have been designed with C/C++ and other programming languages are treating as an exchange layer. It does not affect directly ...
user avatar
  • 6,114
2 votes

Does a modeling language that generates SAT instances exist?

While the @hakank answer is pretty nice and useful, I found exactly what I was looking for: PySAT, SAT Technology in Python With PySAT, via the PyPBLIB, it is possible to write high-level pseudo-...
user avatar
2 votes

Does a modeling language that generates SAT instances exist?

As @sascha mentions, Picat has the option to save a SAT model to CNF, using the dump(file.cnf) option (or just dump to print the ...
user avatar
  • 834
2 votes

How to get GAMS's solvers to work from Pyomo?

One way to use CPLEX solver of GAMS in Pyomo (I am assuming you have a license for GAMS and CPLEX itself licensed for your GAMS, In other words, your CPLEX solver can only be used by GAMS) is that: ...
user avatar
  • 8,340

Only top scored, non community-wiki answers of a minimum length are eligible