Changes by: Yegor N. Bryukhov (ybryukhov at gc.cuny.edu)
Date: 2005-02-21 11:45:15 -0800 (Mon, 21 Feb 2005)
Revision: 6733
Log message:

      Added some determinicity in the choice of next variable to eliminate
      (variable with lowest sum of absolute coefficients in all constraints).
      itt_int_bench3 dropped to 35 seconds (paper benchmark)
      bit itt_int_bench/test6 is still above 100 seconds but it was about 4 seconds
      in 1.19 revision
      

Changes  Path
+27 -10 metaprl/theories/itt/itt_omega.ml