The SUIFMATH Library

A set of routines for the manipulation of matrices and linear inequalities

Stanford Compiler Group