CAL 2.1

CAL (dedicated to the authors' alma mater) BDD package provides routines for manipulating BDDs based on a breadth-first manipulation algorithm.

SRPMS

cal-2.1-1.fc21.src.rpm

SPECS

For the purpose of submitting this package to Fedora, here is the RPM spec file.

Back to the RPMS


Last modified: Thu Jan 23 16:50:46 MST 2014 by Jerry James