-
MIPLIB
- Referenced in 328 articles
[sw04067]
- A mixed integer (linear) program (mip) is an...
-
CPLEX
- Referenced in 2773 articles
[sw04082]
- IBM® ILOG® CPLEX® offers C, C++, Java, .NET...
-
SifDec
- Referenced in 216 articles
[sw04087]
- CUTEr and SifDec: a constrained and unconstrained testing...
-
NuSMV
- Referenced in 312 articles
[sw04131]
- NuSMV is a symbolic model checker developed as...
-
REDLOG
- Referenced in 166 articles
[sw04250]
- REDLOG is a package that extends the computer...
-
RSOLVER
- Referenced in 74 articles
[sw04334]
- RSolver is a program for solving quantified inequality...
-
CVX
- Referenced in 845 articles
[sw04594]
- CVX is a modeling system for constructing and...
-
YALMIP
- Referenced in 1033 articles
[sw04595]
- YALMIP Yet another LMI parser. YALMIP is a...
-
Benchmarks
- Referenced in 25 articles
[sw04612]
- Safety verification of hybrid systems by constraint propagation...
-
Mosek
- Referenced in 493 articles
[sw04618]
- MOSEK is a tool for solving mathematical optimization...
-
MPT
- Referenced in 230 articles
[sw04732]
- The Multi-Parametric Toolbox (MPT) is a free...
-
NewtonKKTqp
- Referenced in 10 articles
[sw04820]
- Newton-KKT interior-point methods for indefinite quadratic...
-
GAMS
- Referenced in 866 articles
[sw04978]
- The General Algebraic Modeling System (GAMS) is specifically...
-
PDCO
- Referenced in 698 articles
[sw05148]
- PDCO: Primal-Dual interior method for Convex Objectives...
-
SciPy
- Referenced in 775 articles
[sw06293]
- SciPy (pronounced ”Sigh Pie”) is open-source software...
-
dReal
- Referenced in 30 articles
[sw07157]
- dReal: an SMT solver for nonlinear theories over...
-
VCC
- Referenced in 71 articles
[sw07220]
- VCC is a mechanical verifier for concurrent C...
-
HSolver
- Referenced in 44 articles
[sw07419]
- HSolver is a program for verification of hybrid...
-
d/dt
- Referenced in 37 articles
[sw10314]
- d/dt is a tool for reachability analysis of...
