Giters

himito / BuDDy

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

Geek Repo:Geek Repo

Github PK Tool:Github PK Tool

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

Languages

Language:C 47.8%Language:Shell 35.6%Language:C++ 9.8%Language:Makefile 6.3%Language:CMake 0.3%Language:M4 0.3%