This is a Python implementation of a method for constructing the value function of a general mixed integer program. The method is described in the paper here:
http://coral.ie.lehigh.edu/~ted/files/papers/MILPValueFunction14.pdf
To run the code, you must install Pyomo with
pip install pyomo