improved efficiency of BDD-infer
also use "if c then e1 else e2" in generated formulas instead of (c /\ e1) / (not c /\ e2)
Prochaines maintenances programmées: lundi 06/05, lundi 03/06, lundi 01/07
Pour plus d'informations: https://doc-si.inria.fr/display/SU/Gitlab
also use "if c then e1 else e2" in generated formulas instead of (c /\ e1) / (not c /\ e2)