Mentions légales du service

Skip to content

improved efficiency of BDD-infer

MARCHE Claude requested to merge bddinfer_improve_efficiency into master

also use "if c then e1 else e2" in generated formulas instead of (c /\ e1) / (not c /\ e2)

Merge request reports