4e7317bf97
The BuDDy Binary Decision Diagrams (BDD) library presented here was made as part of a ph.d. project on model checking of finite state machines. The library has evolved from a simple introduction to BDDs to a full blown BDD package with all the standard BDD operations, reordering and a wealth of documentation.
9 lines
226 B
Text
9 lines
226 B
Text
@comment $NetBSD: PLIST,v 1.1.1.1 2003/12/31 00:04:19 kristerw Exp $
|
|
include/bdd.h
|
|
include/bvec.h
|
|
include/fdd.h
|
|
lib/libbdd.a
|
|
share/doc/buddy/bddnotes.ps
|
|
share/doc/buddy/buddy.ps
|
|
share/doc/buddy/tech.txt
|
|
@dirrm share/doc/buddy
|