This is an old revision of this page, as edited by RICK MORRILL(talk | contribs) at 06:26, 4 November 2006(Previous edits from I.P.A. 70.251.131.235 were mine. (I liked the corrections from ApolloBoy). Moved this entire page to Linear Arithmetic synthesis. (The 'A' should be capitalized.)). The present address (URL) is a permanent link to this revision, which may differ significantly from the current revision.Revision as of 06:26, 4 November 2006 by RICK MORRILL(talk | contribs)(Previous edits from I.P.A. 70.251.131.235 were mine. (I liked the corrections from ApolloBoy). Moved this entire page to Linear Arithmetic synthesis. (The 'A' should be capitalized.))