pyomo
An object-oriented algebraic modeling language in Python for structured optimization problems.
clarabel
Clarabel.rs: Interior-point solver for convex conic optimisation problems in Rust.
Clarabel
Clarabel.jl: Interior-point solver for convex conic optimisation problems in Julia.
pyomo
Pyomo respository provides a comprehensive library of solved models in Supply chain management
netflowpy
A python tool to optimize chemical concentration trajectories in network-based chemical systems
GraphsOptim
A package for graph optimization algorithms that rely on mathematical programming.
lp_nn_robustness_verification
This code base is intended to serve as a starting point for interested researchers or practitioners to extend or apply the robustness verification portion of the author's Master's thesis " GUM-compliant neural-network robustness verification".