Solver for Linear Inequalities

• A variant of the simplex implementation in the Nelson-Oppen TP, with

  • proof objects
  • strict inequality

For more information:

G. Nelson

Techniques for program verification

Technical Report CSL-81-10, Xerox Palo Alto Research Center, 1981

Previous slide

Next slide

Back to first slide

View graphic version