Repository files navigation

BuDDy is a BDD package originaly created by Jørn Lind-Nielsen[Lind-Nielsen99]. This repository is a continuation ofjgcoded/BuDDy (now archived) which addsCMake support for easy modern compilation and integration into your project.

BuDDy was originally developed by Jorn Lind-Nielsen as a part of his PhD thesis.After using BuDDy as a BDD library for long time (while getting some supportfrom Jorn through email), I have been suggested by Jorn to take ownership of theproject and move it to SourceForge. I invite all users who are interested toparticipate in the development to contact me. (I always have desired tasks /features awaiting...) I hope that BuDDy will prosper under my management.

--Haim Cohen (haimcohen@users.sourceforge.net)

Table of Contents

• BuDDy
  • Preface
  • Getting Started
  • References

To use this repository in your project, clone it into your folder of externaldependencies. If your project already is a Git repository, then add this asa submodule.

git submodule add https://github.com/SSoelvsten/buddy external/buddygit submodule update --init

Include the following line in your project’sCMakeLists.txt.

add_subdirectory (external/buddy buddy)

Finally, you link your executable target toBuDDy in the CMakeLists.txt file as follows.

add_executable(<target> <source.cpp>)target_link_libraries(<target> buddy)

• [Lind-Nielsen99]Jørn Lind-Nielsen. “BuDDy: A binary decision diagram package”. Technicalreport,Department of Information Technology, Technical University ofDenmark, 1999.