cudd 3.0.0

Manipulate decision diagrams

CUDD is a library for manipulating decision diagrams. It supports binary decision diagrams, algebraic decision diagrams, and zero-suppressed binary decision diagrams.

Website: https://github.com/ivmai/cudd
Licenses: Modified BSD
Package source: gnu/packages/maths.scm
Builds: See build status
Issues: See known issues

Installation

Install cudd 3.0.0 as follows:

guix install cudd@3.0.0

Or install the latest version:

guix install cudd

You can also install packages in augmented, pure or containerized environments for development or simply to try them out without polluting your user profile. See the guix shell documentation for more information.