Skip to content
GitLab
Explore
Sign in
Spot
Spot
Repository
spot
buddy
src
bddop.c
Find file
Blame
History
Permalink
[buddy] slight optimization of bdd_implies
· a32ccd64
Alexandre Duret-Lutz
authored
Oct 20, 2016
* src/bddop.c: Avoid the first recursion when it is obvious that the second will fail.
a32ccd64