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
diff --git a/science/bddsolve/Makefile b/science/bddsolve/Makefile
new file mode 100644
index 000000000000..1c42f9a899ab
--- /dev/null
+++ b/science/bddsolve/Makefile
@@ -0,0 +1,38 @@
+# New ports collection makefile for:	bddsolve
+# Date created:				11 May 2010
+# Whom:					Ed Schouten <ed@FreeBSD.org>
+#
+# $FreeBSD$
+#
+
+PORTNAME=	bddsolve
+PORTVERSION=	1.02
+CATEGORIES=	science
+MASTER_SITES=	http://www.win.tue.nl/~wieger/bddsolve/
+
+MAINTAINER=	ed@FreeBSD.org
+COMMENT=	BDD-based satisfiability and reachability solver
+
+LIB_DEPENDS+=	bdd:${PORTSDIR}/science/buddy \
+		boost_program_options:${PORTSDIR}/devel/boost-libs
+
+USE_ZIP=	yes
+USE_GCC=	4.2+
+NO_WRKSUBDIR=	yes
+
+.include <bsd.port.pre.mk>
+
+do-build:
+	${CXX} ${CFLAGS} -I${LOCALBASE}/include -I${WRKSRC}/include \
+		${LDFLAGS} -L${LOCALBASE}/lib -lbdd -lboost_program_options \
+		-o ${WRKSRC}/bddsolve ${WRKSRC}/src/bddsolve.cpp
+
+do-install:
+	${INSTALL_PROGRAM} ${WRKSRC}/bddsolve ${LOCALBASE}/bin/
+.if !defined(NOPORTEXAMPLES)
+	${MKDIR} ${EXAMPLESDIR}
+	${INSTALL_DATA} ${WRKSRC}/example/reach.b ${EXAMPLESDIR}/
+	${INSTALL_DATA} ${WRKSRC}/example/sat.b ${EXAMPLESDIR}/
+.endif
+
+.include <bsd.port.post.mk>
diff --git a/science/bddsolve/distinfo b/science/bddsolve/distinfo
new file mode 100644
index 000000000000..28f31fb679a7
--- /dev/null
+++ b/science/bddsolve/distinfo
@@ -0,0 +1,3 @@
+MD5 (bddsolve-1.02.zip) = a84faa33f72f0aad0611e4d92abc08bd
+SHA256 (bddsolve-1.02.zip) = 7cac132baada2fe80c8ec48aa619d799d5b5be7832689632dd1c35a5c9762af5
+SIZE (bddsolve-1.02.zip) = 19180
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/
diff --git a/science/bddsolve/pkg-plist b/science/bddsolve/pkg-plist
new file mode 100644
index 000000000000..252e3376b523
--- /dev/null
+++ b/science/bddsolve/pkg-plist
@@ -0,0 +1,4 @@
+bin/bddsolve
+%%PORTEXAMPLES%%%%EXAMPLESDIR%%/reach.b
+%%PORTEXAMPLES%%%%EXAMPLESDIR%%/sat.b
+%%PORTEXAMPLES%%@dirrm %%EXAMPLESDIR%%