CUDD library bindings for Bigloo

Brought to you by: wowa

Last Update: 2013-02-21

Get an email when there's a new version of CUDD library bindings for Bigloo

The bigloo-cudd is an interface to CUDD, the University of Colorado decision diagram package, for Bigloo, Scheme language compiler

Project Activity

See All Activity >

Follow CUDD library bindings for Bigloo

CUDD library bindings for Bigloo Web Site

Other Useful Business Software

$300 Free Credits to Build on Google Cloud

New customers can spin up VMs, build with AI, and query data at no cost.

Put your $300 in credit toward real workloads, then keep building with free monthly usage for 20+ products. No commitment and no charge until you upgrade.

Start Free

Rate This Project

User Reviews

Be the first to post a review of CUDD library bindings for Bigloo!

Additional Project Details

Registered

2002-04-14

Report inappropriate content

$300 Free Credits to Build on Google Cloud

New customers can spin up VMs, build with AI, and query data at no cost.

Put your $300 in credit toward real workloads, then keep building with free monthly usage for 20+ products. No commitment and no charge until you upgrade.

Start Free

Recommended Projects

CEUG
This project provides access to the collective works of the Colorado Eiffel Users Group (CEUG). It is intended that this site help promote and further the Eiffel language through a variety of portable Open Source initiatives.
SchemeWay - Scheme Plugins for Eclipse
A set of Eclipse plugins for the Scheme programming language. Features a powerful, fully extensible S-expression-based editor. Integrates seamlessly with any Scheme interpreter.
Bigloo Libraries
A collection of libraries for Bigloo Scheme compiler.
buddy
A Binary Decision Diagram library, with : many highly efficient vectorized BDD operations, dynamic variable reordering, automated garbage collection, a C++ interface with automatic reference counting, and much more.
Chez Scheme
A programming language and an implementation of that language