A matrix and linear inequality calculator plus a rapid prototyping system for code generation
Stanford Compiler Group
LIC is a program that aids in the calculation of linear inequality and
matrix calculations. It may also be used for the rapid prototyping of
algorithms.