Built-in constraint solving

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.