diff options
| author | Beat Gaetzi <beat@FreeBSD.org> | 2010-05-12 13:25:37 +0000 |
|---|---|---|
| committer | Beat Gaetzi <beat@FreeBSD.org> | 2010-05-12 13:25:37 +0000 |
| commit | d717f25f58dd73e6a3d121bfa335f3697803bea4 (patch) | |
| tree | 90f1b4a3388d415e5a93641dcea548dc64c20455 /graphics/py-graph-core | |
| parent | Update to 0.30.1 (diff) | |
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/
Submitted by: ed@
Diffstat (limited to 'graphics/py-graph-core')
0 files changed, 0 insertions, 0 deletions