• Erwan Jahier's avatar
    lurette 0.93 Wed, 25 Sep 2002 09:56:41 +0200 by jahier · e9325bcf
    Erwan Jahier authored
    Parent-Version:      0.92
    Version-Log:
    
    source/formula.ml:
    source/solver.ml:
    source/parse_env.ml:
       Handle boolean equalities with Bdd.eq instead of manually
       converting it with <<and>>, <<not>> and <<or>>.
    
    Project-Description: Lurette
    e9325bcf
parse_env.ml 23.9 KB