From d717f25f58dd73e6a3d121bfa335f3697803bea4 Mon Sep 17 00:00:00 2001 From: Beat Gaetzi Date: Wed, 12 May 2010 13:25:37 +0000 Subject: 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@ --- science/Makefile | 1 + 1 file changed, 1 insertion(+) (limited to 'science/Makefile') 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 -- cgit v1.2.3