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
Manage your entire team in one app Icon
Manage your entire team in one app

With Connecteam you can manage every aspect of your business on the go, no workstation needed.

Connecteam is an award-winning all-in-one employee management solution for daily operations, communications, and human resource management.
Learn More
Rate This Project
Login To 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

C

Registered

2010-04-02
Report inappropriate content