|
« Back to VersTracker
|
All Categories
|
All Tags
|
Related:
optimization
mathematics
operations-research
linear-programming
c-library
constraint-programming
cli
formal-verification
logic
modeling
|
| Package |
Description |
Version |
|
ampl-asl
☆
formula
|
AMPL Solver Library |
1.0.1 |
|
ampl-mp
☆
formula
|
Open-source library for mathematical programming |
4.1.0 |
|
aspcud
☆
formula
|
Package dependency solver |
1.9.6 |
|
boolector
☆
formula
|
SMT solver for fixed-size bit-vectors |
3.2.4 |
|
cbc
☆
formula
|
Mixed integer linear programming solver |
2.10.12 |
|
clp
☆
formula
|
Linear programming solver |
1.17.10 |
|
depqbf
☆
formula
|
Solver for quantified boolean formulae (QBF) |
6.03 |
|
gams
☆
cask
|
General Algebraic Modeling System |
52.5.0 |
|
gecode
☆
formula
|
Toolkit for developing constraint-based systems and applications |
|
|
highs
☆
formula
|
Linear optimization software |
|
|
ipopt
☆
formula
|
Interior point optimizer |
|
|
lp_solve
☆
formula
|
Mixed integer linear programming solver |
|
|
minizinc
☆
formula
|
Medium-level constraint modeling language |
2.9.4 |
|
minizincide
☆
cask
|
Open-source constraint modelling language and IDE |
2.9.5 |
|
or-tools
☆
formula
|
Google's Operations Research tools |
|
|
osqp
☆
formula
|
Operator splitting QP solver |
|
|
scip
☆
formula
|
Solver for mixed integer programming and mixed integer nonlinear programming |
10.0.0 |
|
scs
☆
formula
|
Conic optimization via operator splitting |
|
|
soplex
☆
formula
|
Optimization package for solving linear programming problems (LPs) |
8.0.0 |
|
yices2
☆
formula
|
Yices SMT Solver |
|