-
Alexandre Duret-Lutz authored
* src/bdd.h (bdd_implies): New function. * src/bddop.c (bdd_implies): Implement it. (CACHEID_IMPLIES, IMPLIES_HASH): New helper macros.
a814b975
To find the state of this project's repository at the time of any of these versions, check out the tags.