-
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