Linear program files

Uploaded files which verify theoretical properties of the system thanks to the linear programming formulation

Author: Andrea-Fox