3 lines
128 B
Text
3 lines
128 B
Text
|
Bddsolve is a BDD-based tool for solving satisfiability and reachability
|
||
|
|
problems. It uses the BDD package Buddy as a backend.
|