The latest version of obdd is 0.9.0-0.
obdd
Version 0.2.3 revision 0 uploaded by JohannesWaldmann.
Package meta
- Synopsis
- Ordered Reduced Binary Decision Diagrams
- Description
Construct, combine and query OBDDs; an efficient representation for formulas in propositional logic
- Author
- Johannes Waldmann
- Bug reports
- n/a
- Category
- Logic
- Copyright
- n/a
- Homepage
- n/a
- Maintainer
- Johannes Waldmann <waldmann@imn.htwk-leipzig.de>
- Package URL
- n/a
- Stability
- n/a