diff options
Diffstat (limited to 'science/bddsolve/pkg-descr')
| -rw-r--r-- | science/bddsolve/pkg-descr | 4 |
1 files changed, 4 insertions, 0 deletions
diff --git a/science/bddsolve/pkg-descr b/science/bddsolve/pkg-descr new file mode 100644 index 000000000000..d611aad4f5cc --- /dev/null +++ b/science/bddsolve/pkg-descr @@ -0,0 +1,4 @@ +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/ |