constraint-learning
NCET (Neural-network Constraint Embedding Toolkit) converts supported PyTorch neural networks into exact mixed-integer linear constraints compiled by CVXPY.
An end-to-end framework for mixed-integer optimization with data-driven learned constraints.