GNU GPL Matlab MEX Interfaces
(for optimization and satisfiability solvers)
| Solver | Interface | Type of problem solved |
| GLPK | GLPKMEX | LP/MILP |
| XPRESS | MEXPRESS | LP/MILP/QP/MIQP |
| CPLEX | CPLEXMEX | LP/MILP/QP/MIQP |
| zCHAFF | SATMEX | (satisfiability) SAT |
| GLPKMEX |
| GLPK
(GNU Linear Programming Kit) is a set of routines written in the ANSI C
programming
language and organized in the form of a callable library. It is
intended for solving linear
programming (LP), mixed integer programming (MIP), and other related
problems. GLPKMEX is a Matlab MEX interface for the GLPK library developed by Nicoḷ Giorgetti. For more details please visit the SourceForge website |
By the same author of GLPKMEX a further interface to GLPK has been developed for the GNU Octave high-level language. Such interface is part of the Octave project and can be obtained by downloading the Octave package directly from the project home page: http://www.octave.org. |
| MEXPRESS | |
| Xpress-MP
is a mathematical modeling and optimization software suite, providing
tools for
the formulation, solution and analysis of linear, quadratic and integer
programming problems.
Based on the powerful components, Xpress-Mosel and the
Xpress-Optimizer, the suite
comprises a collection of interfaces, addressing the diversity of
users' needs, both in
problem solving and embedding Xpress-MP technology within their own
custom products. MEXPRESS is a Matlab MEX interface for the Xpress-MP Optimization library.
|
| CPLEXMEX | |
| The
ILOG CPLEX Callable Libraries are designed to facilitate the
development of
applications to solve, modify, and interpret the results of linear,
mixed integer,
continuous convex quadratic, quadratically constrained, and mixed
integer quadratic or
quadratically constrained programming. CPLEXMEX is a Matlab MEX interface for the CPLEX Callable Library.
|
| SATMEX | |
| zChaff
is an implementation of the well known CHAFF, an algorithm for solving
satisfiability
(SAT) problems. It won the Best Complete Solver in both industrial and
handmade benchmark
categories in the SAT 2002 Competition, and the Best Complete Solver in
the industrial benchmark in the
SAT 2004 Competition. It is a popular solver and can be compiled into a
linkable library for easy
integration with user applications. SATMEX is a C++ MATLAB mex interface for the zCHAFF library.
|
Author: Nicolo' Giorgetti