bddlib - a binary decision diagram (bdd) package. Carnegie Mellon University. [8 (1994)

by D Long
Venue:In Parallel Problem Solving from Nature: PPSNIII