• Erwan Jahier's avatar
    lurette 0.123 Tue, 18 Feb 2003 09:49:47 +0100 by jahier · a13cc8e1
    Erwan Jahier authored
    Parent-Version:      0.122
    Version-Log:
    
    source/rnumsolver.mli:
    source/rnumsolver.ml:
    source/store.mli:
    source/store.ml:
       Rename rnumsolver into store.
    
    source/solver.ml:
    source/parse_env.ml:
       Do not explicitely handle dis-equalities but transform it using
       not and = instead. The rational for this change is to avoid code duplication
       (which was buggy !!!), but also to allow handle dis-equalities with
       the optimized algorithm I had for eqalities (for free) !
    
    Project-Description: Lurette
    a13cc8e1
store.ml 24.4 KB