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 /science/Makefile | |
parent | 7179e6b12028944f5f1cfcd709a9f11ed60b4474 (diff) | |
download | ports-d717f25f58dd73e6a3d121bfa335f3697803bea4.tar.gz ports-d717f25f58dd73e6a3d121bfa335f3697803bea4.zip |
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@
Notes
Notes:
svn path=/head/; revision=254196
Diffstat (limited to 'science/Makefile')
-rw-r--r-- | science/Makefile | 1 |
1 files changed, 1 insertions, 0 deletions
diff --git a/science/Makefile b/science/Makefile index 4ac63bed6de9..9d28e8dcdd8d 100644 --- a/science/Makefile +++ b/science/Makefile @@ -11,6 +11,7 @@ SUBDIR += at SUBDIR += avogadro SUBDIR += bblimage + SUBDIR += bddsolve SUBDIR += bft SUBDIR += bodr SUBDIR += brian |