Stars
BNN verification dataset for Max-SAT Evaluation 2020 and MIPLIB 2024
Diffusion model derived evolutionary algorithm
Generation of correlated artificial binary data - a replication of the omonymous R library
Open standard for mathematical programming interoperability
A standalone local search solver for general mixed integer programming
A standalone local search solver for general integer linear programming
Experimental first-order solvers for linear and quadratic programming.
DuaLip: Dual Decomposition based Linear Program Solver
An extension PuLP, linear programming modeling tool
convert pulp model into matrix formulation for scipy.optimize.milp
meta-heuristics solver for easy modeling
An integer linear program solver using a Lagrange decomposition into binary decision diagrams. Lagrange multipliers are updated through dual block coordinate ascent.
A Python Flexible Modeler for Optimization Problems
C++17 Library for dimensional analysis based on variadic Phantom-Type.
automatic differentiation made easier for C++
Minotaur Toolkit for Mixed-Integer Nonlinear Optimization
An evolutionary computation framework to (automatically) build fast parallel stochastic optimization solvers