Describir: Theory of Linear and Integer Pragramming