BDD-based satisfiability and reachability solver
Bddsolve is a BDD-based tool for solving satisfiability and reachability problems. It uses the BDD package Buddy as a backend.
$
pkg install bddsolveOrigin
science/bddsolve
Size
340KiB
License
not specified
Maintainer
ed@FreeBSD.org
Dependencies
2 packages
Required by
0 packages