Date: Wed, 12 May 2010 13:25:37 +0000 (UTC) From: Beat Gaetzi <beat@FreeBSD.org> To: ports-committers@FreeBSD.org, cvs-ports@FreeBSD.org, cvs-all@FreeBSD.org Subject: cvs commit: ports/science Makefile ports/science/bddsolve Makefile distinfo pkg-descr pkg-plist Message-ID: <201005121325.o4CDPbTZ011540@repoman.freebsd.org>
next in thread | raw e-mail | index | archive | help
beat 2010-05-12 13:25:37 UTC
FreeBSD ports repository
Modified files:
science Makefile
Added files:
science/bddsolve Makefile distinfo pkg-descr pkg-plist
Log:
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@
Revision Changes Path
1.185 +1 -0 ports/science/Makefile
1.1 +38 -0 ports/science/bddsolve/Makefile (new)
1.1 +3 -0 ports/science/bddsolve/distinfo (new)
1.1 +4 -0 ports/science/bddsolve/pkg-descr (new)
1.1 +4 -0 ports/science/bddsolve/pkg-plist (new)
Want to link to this message? Use this URL: <https://mail-archive.FreeBSD.org/cgi/mid.cgi?201005121325.o4CDPbTZ011540>