Table Of Contents

Next topic

Download

This Page

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:

Indices and tables