Updated 6 months ago
pyomo
An object-oriented algebraic modeling language in Python for structured optimization problems.
Updated 6 months ago
JuMP
Modeling language for Mathematical Optimization (linear, mixed-integer, conic, semidefinite, nonlinear)
Updated 5 months ago
https://github.com/cog-imperial/omlt
Represent trained machine learning models as Pyomo optimization formulations
Updated 6 months ago
nestml
A domain specific language for neuron and synapse models in spiking neural network simulation
Updated 6 months ago
https://github.com/aldma/scsto.jl
Sparse, constrained switching times optimization
Updated 6 months ago
ExaModels
An algebraic modeling and automatic differentiation tool in Julia Language, specialized for SIMD abstraction of nonlinear programs.