• Erwan Jahier's avatar
    lurette 0.114 Wed, 06 Nov 2002 13:22:44 +0100 by jahier · f55cbb26
    Erwan Jahier authored
    Parent-Version:      0.113
       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
parse_env.ml 30.6 KB