#Mixed-integer-programming

cog-imperial

OMLT

Represent trained machine learning models as Pyomo optimization formulations

scipopt

russcip

Rust interface for SCIP

Lcrypto

trapping-sets-enumeration

Importance Sampling and Linear Programming based Enumerating and Weighing of Trapping sets in LDPC codes, ISING models and related DNN Arch( Transformer, RBM, BM, SPN und etc),