• 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
    Add support to handle numerical contraints. The numerical stuff is
    untested, but the boolean part works as before.
        New files implementing a numeric solver based on intervals.
        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