/ReLUMILP

Python Gurobi Code for reformulating a ReLU Neural Network into a MILP Constraints

BSD 3-Clause "New" or "Revised" LicenseBSD-3-Clause

ReLUMILP

Example of Python using gurobi for reformulating a ReLU Neural Network into a MILP Constraints.

Uses the method described in Grimstad et al. 2019

To Do

  • Big M Constraint Tightning