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:
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: