Skip to content
GitLab
Explore
Sign in
Spot
Spot
Repository
spot
buddy
src
bddx.h
Find file
Blame
History
Permalink
[buddy] improve C++ backward compatibility around bdd_allsat change
· 7e44016d
Alexandre Duret-Lutz
authored
Sep 27, 2019
* src/bddx.h (bdd_allsat): Add a version with the old prototype.
7e44016d