/cudd

CUDD with CMake

Primary LanguageCBSD 3-Clause "New" or "Revised" LicenseBSD-3-Clause

https://travis-ci.org/rakhimov/cudd.svg?branch=master 'Build status' https://coveralls.io/repos/github/rakhimov/cudd/badge.svg?branch=master

This is the main branch of CUDD with Autotools configurations. Please see README.autotools for building information.

For CMake build configurations, checkout cmake branch, which hosts the current development to support CMake.