|
« Back to VersTracker
|
All Categories
|
All Tags
|
Related:
solver
optimization
c++
library
mathematics
interval-analysis
scientific-computing
modeling-language
operations-research
modeling
|
| Package |
Description |
Version |
|
gecode
☆
formula
|
Toolkit for developing constraint-based systems and applications |
|
|
ibex
☆
formula
|
C++ library for constraint processing over real numbers |
|
|
minizinc
☆
formula
|
Medium-level constraint modeling language |
2.9.4 |
|
minizincide
☆
cask
|
Open-source constraint modelling language and IDE |
2.10.1 |