The ATS PL System Wiki
Unleashing the potentials of types and templates
Status: Beta
Brought to you by:
ats-hwxi
ATS can solve linear inequality constraints with Fourier-Motzkin elimination.
According to this mailing list post, ATS2 will support some additional (semi-)automated constraint solving.
Anonymous