pyomo
An object-oriented algebraic modeling language in Python for structured optimization problems.
ModelingToolkit
An acausal modeling framework for automatically parallelized scientific machine learning (SciML) in Julia. A computer algebra system for integrated symbolics for physics-informed machine learning and automated transformations of differential equations
JuMP
Modeling language for Mathematical Optimization (linear, mixed-integer, conic, semidefinite, nonlinear)
casadi
CasADi is a symbolic framework for numeric optimization implementing automatic differentiation in forward and reverse modes on sparse matrix-valued computational graphs. It supports self-contained C-code generation and interfaces state-of-the-art codes such as SUNDIALS, IPOPT etc. It can be used from C++, Python or Matlab/Octave.
uno
A next-gen SQP & barrier solver for nonlinearly constrained optimization
https://github.com/cog-imperial/omlt
Represent trained machine learning models as Pyomo optimization formulations
https://github.com/cvanaret/nonconvex_solver_comparison
This repo collects results of nonlinear optimization solvers on standard benchmark problems
Powersense
Julia package with tools at the cross-section of Power System Operations, Applied Mathematics, High-Performance Computations, and Machine-Learning.
pyrddlgym-gurobi
Gurobi compilation of RDDL description files to mixed-integer programs, and optimization tools.
https://github.com/aldma/pipal.jl
Penalty-Interior-Point ALgorithm for nonlinear optimization