-
Erwan Jahier authored
Parent-Version: 0.113 Version-Log: source/parse_env.ml: When floats output vars are not constraint, use [-10^11, 10^11] as default domain. The rational for this change is that sim2chro does not seem to be able to print bigger floats (probably because it does not understand the 123e+234 notation. Project-Description: Lurette
f55cbb26