-
Erwan Jahier authored
Parent-Version: 0.97 Version-Log: source/rnumsolver.ml: Remove valI and ValF from the range type as now, when a var is bound, it is put into store.substl. Project-Description: Lurette
b8ce1df2
Parent-Version: 0.97 Version-Log: source/rnumsolver.ml: Remove valI and ValF from the range type as now, when a var is bound, it is put into store.substl. Project-Description: Lurette