diogo/yap-6.3
Archived
1
0
Fork 0
Code Issues Pull Requests Packages Projects Releases Wiki Activity
This repository has been archived on 2023-08-20. You can view files and clone it, but cannot push or open issues or pull requests.
4dff2ad2ec
yap-6.3/packages/bdd/bdd.md
Vitor Santos Costa 6a2d74ac6e Merge branch 'master' of xato:0517
2017-05-19 10:03:49 +01:00

613 B
Raw Blame History

Boolean Decision Making in YAP

This is an experimental interface to BDD libraries. It is not as sophisticated as simplecudd, but it should be fun to play around with bdds.

It currently works with cudd only, although it should be possible to port to other libraries. It requires the ability to dynamically link with cudd binaries. This works:

  • in fedora with standard package
  • in osx with hand-compiled and ports package

In ubuntu, you may want to install the fedora rpm, or just download the package from the original and compile it.

  • @ref BDDsPL
  • @ref CUDD