Linear Decision Diagram

Status: Alpha

Brought to you by: ariegurfinkel, sagarchaki

As of 2025-06-09, this project can be found here.

Add a Review

Downloads: 0 This Week

Last Update: 2023-01-07

Download

Get an email when there's a new version of Linear Decision Diagram

Library for Decision Diagrams over Linear Arithmetic. Built on top of CUDD library.

Project Activity

See All Activity >

License

Other License

Follow Linear Decision Diagram

Linear Decision Diagram Web Site

Other Useful Business Software

Build Agents and Models on One Platform

Everything you need to build production-ready agents and models. Access 200+ Google and third-party AI models and tools.

Gemini Enterprise Agent Platform is Google Cloud's comprehensive platform for developers to build, scale, govern, and optimize agents and models. Choose from Google's most advanced models and third-party models like Anthropic's Claude Model Family.

Start Free

Rate This Project

User Reviews

Be the first to post a review of Linear Decision Diagram!

Additional Project Details

Intended Audience

Science/Research

Programming Language

Registered

2010-04-02

Report inappropriate content

Build Agents and Models on One Platform

Everything you need to build production-ready agents and models. Access 200+ Google and third-party AI models and tools.

Start Free

Recommended Projects

JavaBDD
Java library for manipulating BDDs (Binary Decision Diagrams). Binary decision diagrams are widely used in model checking, formal verification, optimizing circuit diagrams, etc.
Arageli
Arageli is a C++ library for computations in arithmetic, algebra, geometry, linear and integer linear programming. Arageli provides routines and classes that support precise, i.e. symbolic or algebraic, computations.
Diagram Designer
Simple vector graphics editor for creating flowcharts, diagrams and slide shows.
Kimi Linear
An expressive, efficient attention architecture
Decision Table Creator
Decision Table Creator is a tool to create/edit/export decision tables. Tables can be checked on consistency and completeness. The resulting table can be copied to the clipboard to incorporate it in Word, Excel or PowerPoint. Plans exist to extend to multi value decisions. Please request for this or other extensions so I got an idea of the need for this.