Changes by: Yegor N. Bryukhov (ybryukhov at gc.cuny.edu)
Date: 2005-02-19 22:11:21 -0800 (Sat, 19 Feb 2005)
Revision: 6724
Log message:

      It's a reference implementation with core of Omega Test
      used once (was twice) per constraint set.
      "reference" because it's kind of slow (no gain in performance)
      

Changes	Path
+205 -136	metaprl/theories/itt/itt_omega.ml