Domcheck is a program that computes minimal linear descriptions of
projections of polytopes. It can also be used to remove redundancy in
a system of linear inequalities. Two versions are available:
domcheck.tar.gz contains a C program using the commercial code CPLEX;
domcheck_clp.tar.gz contains a C++ program using the open source code Clp.