-
Erwan Jahier authored
Parent-Version: 0.35 Version-Log: Add support to handle numerical contraints. The numerical stuff is untested, but the boolean part works as before. source/rnumsolver.mli: source/rnumsolver.ml: New files implementing a numeric solver based on intervals. source/*.ml: Change the var_type type from a string to a sum type containing the lower and upper bounds of numeric domains. Do not maintain a var_name to index correspondance, but a formula to index one. This is to be able to handle numerical constraint in bdds. This field is not set at init time anymore, but in formula_to_bdd. Add <>, <, and <= to the type of formula. Project-Description: Lurette
8b44df60