74b777f317af661b37621462270a5e457291293a
[nodoc-overlay.git] / sci-mathematics / cudd / metadata.xml
1 <?xml version="1.0" encoding="UTF-8"?>
2 <!DOCTYPE pkgmetadata SYSTEM "https://www.gentoo.org/dtd/metadata.dtd">
3 <pkgmetadata>
4 <maintainer type="project">
5 <email>disk.destroyer@yahoo.com</email>
6 <name>datadissipation.net</name>
7 </maintainer>
8 <upstream>
9 <remote-id type="github">ssoelvsten/cudd</remote-id>
10 </upstream>
11 <use>
12 <flag name="static-libs">Build static libraries in addition to shared</flag>
13 </use>
14 <longdescription>
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).
18 </longdescription>
19 </pkgmetadata>