Symbolic linear programming and linear constraints - View it on GitHub