CUDD library bindings for Bigloo

Brought to you by: wowa

Last Update: 2013-02-21

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

Host LLMs in Production With On-Demand GPUs

NVIDIA L4 GPUs. 5-second cold starts. Scale to zero when idle.

Deploy your model, get an endpoint, pay only for compute time. No GPU provisioning or infrastructure management required.

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

JB port to C# (JB2CSharp)
JB2CSharp is a port of the Java-Bison/Flex software developed by the Serl project at the University of Colorado, Boulder. Parsers and lexers will be able to use C# actions. The open source .NET project Mono has requested the port, and here it is.
llama.cpp Python Bindings
Python bindings for llama.cpp
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