Skip to content
  • Erwan Jahier's avatar
    lurette 0.36 Mon, 04 Mar 2002 13:50:13 +0100 by jahier · 8b44df60
    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