1 <?xml version=
"1.0" encoding=
"UTF-8"?>
2 <!DOCTYPE pkgmetadata SYSTEM
"https://www.gentoo.org/dtd/metadata.dtd">
4 <maintainer type=
"project">
5 <email>disk.destroyer@yahoo.com
</email>
6 <name>datadissipation.net
</name>
9 <remote-id type=
"github">ssoelvsten/cudd
</remote-id>
12 <flag name=
"static-libs">Build static libraries in addition to shared
</flag>
15 CUDD stands for Colorado University Decision Diagram. It is a package for
16 the manipulation of Binary Decision Diagrams (BDDs), Algebraic Decision
17 Diagrams (ADDs) and Zero-suppressed Binary Decision Diagrams (ZDDs).