Changes by: Yegor N. Bryukhov (ybryukhov at gc.cuny.edu)
Date: 2005-02-11 22:38:23 -0800 (Fri, 11 Feb 2005)
Revision: 6663
Log message:

      I've implemented one of heurisitcs for Omega test
      (next variable to eliminate is the one with lowest coeffcients)
      but it actually increased running time for itt_int_bench threefold.
      I commit it disabled.
      

Changes  Path
+117 -53 metaprl/theories/itt/itt_omega.ml