./wip/sylvan, Multi-core Decision Diagram (BDD/LDD) implementation

[ CVSweb ] [ Homepage ] [ RSS ] [ Required by ] [ Add to tracker ]

Branch: CURRENT, Version: 1.5.0, Package name: sylvan-1.5.0, Maintainer: pkgsrc-users

Sylvan is a parallel (multi-core) multi-terminal binary decision diagram
library written in C. Sylvan implements typical binary decision diagram
operations also found in libraries like CUDD, but provides scalable parallel
execution of these operations and is more versatile thanks to supporting custom
decision diagram terminal types.

Master sites:

SHA1: 32bb16bce7df494b20d1ec25a303820fe2e44a35
RMD160: 4a774b16ae0a76dea05ec0eb11518bcb9d752324
Filesize: 666.87 KB

Version history: (Expand)