cpet/freebsd-ports
1
0
Fork 0
Code Issues Pull Requests Packages Projects Releases Wiki Activity

Bddsolve is a BDD-based tool for solving satisfiability and reachability

Browse Source 
problems.  It uses the BDD package Buddy as a backend.

WWW: http://www.win.tue.nl/~wieger/bddsolve/

Submitted by:	ed@
This commit is contained in:
Beat Gaetzi 2010-05-12 13:25:37 +00:00
parent 7179e6b120
commit d717f25f58
Notes: svn2git 2021-03-31 03:12:20 +00:00 
svn path=/head/; revision=254196
5 changed files with 50 additions and 0 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

1
science/Makefile
View File

@ -11,6 +11,7 @@
SUBDIR += at
SUBDIR += avogadro
SUBDIR += bblimage
SUBDIR += bddsolve
SUBDIR += bft
SUBDIR += bodr
SUBDIR += brian

38
science/bddsolve/Makefile Normal file
View File

@ -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>

3
science/bddsolve/distinfo Normal file
View File

@ -0,0 +1,3 @@
MD5 (bddsolve-1.02.zip) = a84faa33f72f0aad0611e4d92abc08bd
SHA256 (bddsolve-1.02.zip) = 7cac132baada2fe80c8ec48aa619d799d5b5be7832689632dd1c35a5c9762af5
SIZE (bddsolve-1.02.zip) = 19180

4
science/bddsolve/pkg-descr Normal file
View File

@ -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/

4
science/bddsolve/pkg-plist Normal file
View File

@ -0,0 +1,4 @@
bin/bddsolve
%%PORTEXAMPLES%%%%EXAMPLESDIR%%/reach.b
%%PORTEXAMPLES%%%%EXAMPLESDIR%%/sat.b
%%PORTEXAMPLES%%@dirrm %%EXAMPLESDIR%%