Bddsolve

Author: Wieger Wesselink

Bddsolve is a BDD-based tool for solving satisfiability and reachability problems. It uses the BDD package Buddy as a backend.

Contents:

• Download
• Running Bddsolve
• BDD issues
• Satisfiability problems
• Reachability problems
• Examples
• Syntax
• Contact
• Known issues
• Changelog
• Mac build

Indices and tables

• Search Page