-
Alexandre Duret-Lutz authored* src/pairs.c (bdd_copypair, bdd_pairalloc): New functions. (bdd_newpair): Use bdd_pairalloc.
ed8ae1ed
To find the state of this project's repository at the time of any of these versions, check out the tags.
* src/pairs.c (bdd_copypair, bdd_pairalloc): New functions. (bdd_newpair): Use bdd_pairalloc.