Hi all, I've read that ATS uses the Fourier-Mitzkin method to handle constraints/inequalities but what I've read has been light on details.
Does ATS do anything interesting for integer constraints? (Also: where in the ATS compiler is the constraint-solving code? I've only looked a bit but I didn't find it at first glance). Cheers, Vanessa McHale -- You received this message because you are subscribed to the Google Groups "ats-lang-users" group. To unsubscribe from this group and stop receiving emails from it, send an email to ats-lang-users+unsubscr...@googlegroups.com. To view this discussion on the web visit https://groups.google.com/d/msgid/ats-lang-users/9592166f-877e-43aa-bd9d-2cf0b178c286n%40googlegroups.com.
