Skip to content
GitLab
Explore
Sign in
verimag
synchrone
lutin
Repository
lutin
source
common
formula_to_bdd.ml
Find file
Blame
History
Permalink
Be more permissive in the RIF reader, converting data when sensible, and truncating
· f9999594
Erwan Jahier
authored
Apr 12, 2011
too big integers. Also, set the default min and max for vars to biggers values.
f9999594