-
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