mirror of
https://git.FreeBSD.org/ports.git
synced 2024-12-20 04:02:27 +00:00
d717f25f58
problems. It uses the BDD package Buddy as a backend. WWW: http://www.win.tue.nl/~wieger/bddsolve/ Submitted by: ed@
5 lines
174 B
Plaintext
5 lines
174 B
Plaintext
Bddsolve is a BDD-based tool for solving satisfiability and reachability
|
|
problems. It uses the BDD package Buddy as a backend.
|
|
|
|
WWW: http://www.win.tue.nl/~wieger/bddsolve/
|