Skip to content
This repository has been archived by the owner on Apr 7, 2021. It is now read-only.
/ BuDDy Public archive

BuDDy Binary Decision Diagram(BDD) library provisioned with CMake files

11 stars 7 forks Branches Tags Activity
Star
Notifications You must be signed in to change notification settings

jgcoded/BuDDy

BranchesTags

Repository files navigation

BuDDy

This is a copy of the BuDDy library obtained from the BuDDy website that is provisioned with CMakeLists.txt files so that BuDDy can be built on Windows with Visual Studio. The BuDDy version provisioned is 2.4.

Currently works with Visual Studio 2017 RC.

About

BuDDy Binary Decision Diagram(BDD) library provisioned with CMake files

Topics

decision cmake binary diagram bdd buddy

Resources

Readme
Activity

Stars

11 stars

Watchers

3 watching

Forks

7 forks
Report repository

Releases

No releases published

Packages

No packages published

Languages