FreshPorts -- The Place For Ports If you buy from Amazon USA, please support us by using this link.
Follow us
Blog
Twitter

I am looking for an LTO tape library. Do you have one to spare?
Port details
bddsolve BDD-based satisfiability and reachability solver
1.03_1 science on this many watch lists=0 search for ports that depend on this port
Maintained by: ed@FreeBSD.org search for ports maintained by this maintainer
Port Added: 12 May 2010 13:26:00
License: not specified in port


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/
SVNWeb : Main Web Site : Distfiles Availability : PortsMon

NOTE: FreshPorts displays only information on required and default dependencies. Optional dependencies are not covered.

Required Libraries:
  1. science/buddy
  2. devel/boost-libs
There are no ports dependent upon this port

To install the port: cd /usr/ports/science/bddsolve/ && make install clean
To add the package: pkg install science/bddsolve


Configuration Options
===> The following configuration options are available for bddsolve-1.03_1:
     EXAMPLES=on: Build and/or install examples
===> Use 'make config' to modify these settings

Master Sites:
  1. http://distcache.FreeBSD.org/ports-distfiles/
  2. http://www.win.tue.nl/~wieger/bddsolve/_downloads/

Number of commits found: 11

Commit History - (may be incomplete: see SVNWeb link above for full details)
DateByDescription
12 Nov 2014 18:48:53
Original commit files touched by this commit  1.03_1
Revision:372500
antoine search for other commits by this committer
Cleanup plist
20 Mar 2014 09:34:20
Original commit files touched by this commit  1.03_1
Revision:348672
ehaupt search for other commits by this committer
- Support staging
- Define EXAMPLES option
- Don't install to LOCALBASE
10 Mar 2014 17:01:37
Original commit files touched by this commit  1.03_1
Revision:347784
bapt search for other commits by this committer
Convert s* to USES=zip
07 Feb 2014 11:44:09
Original commit files touched by this commit  1.03_1
Revision:343214
bapt search for other commits by this committer
Chase boost and icu bump
While here convert some LIB_DEPENDS
12 Dec 2013 14:15:04
Original commit files touched by this commit  1.03
Revision:336262
bapt search for other commits by this committer
Convert LIB_DEPENDS for ports depending on boost
20 Sep 2013 22:48:31
Original commit files touched by this commit  1.03
Revision:327767
bapt search for other commits by this committer
Add NO_STAGE all over the place in preparation for the staging support (cat:
science)
14 Sep 2013 19:13:46
Original commit files touched by this commit  1.03
Revision:327313
ed (src committer) search for other commits by this committer
Remove USE_GCC.

All versions of FreeBSD we support are shipped with at least GCC 4.2.1
or Clang. The code seems to build fine with Clang. In fact, on platforms
where we no longer ship libstdc++, this port seems to only build using
Clang.
14 Sep 2013 19:08:52
Original commit files touched by this commit  1.03
Revision:327312
ed (src committer) search for other commits by this committer
Bump bddsolve to version 1.0.3.

Though this does not yet fix the build on FreeBSD HEAD, this version
does fix some tiny issues that prevent it from being built with clang.
28 Dec 2011 06:53:08
Original commit files touched by this commit  1.02
linimon search for other commits by this committer
Mark as broken on powerpc.

Hat:            portmgr
03 Jul 2011 13:22:25
Original commit files touched by this commit  1.02
ohauer search for other commits by this committer
 - remove MD5
12 May 2010 13:25:37
Original commit files touched by this commit  1.02
beat search for other commits by this committer
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@

Number of commits found: 11

Login
User Login
Create account

Servers and bandwidth provided by
New York Internet, SuperNews, and RootBSD

This site
What is FreshPorts?
About the authors
FAQ
How big is it?
The latest upgrade!
Privacy
Forums
Blog
Contact

Search
Enter Keywords:
 
more...

Latest Vulnerabilities
kde4-runtimeNov 20
kwebkitpartNov 20
yiiNov 19
chromiumNov 18
kde4-workspaceNov 17
dbusNov 11
wgetNov 08
konversation-kde4Nov 05
jenkinsOct 31
jenkins-ltsOct 31
twikiOct 31
libsshOct 29
libpurpleOct 24
pidginOct 24
phpmyadminOct 22

6 vulnerabilities affecting 8 ports have been reported in the past 14 days

* - modified, not new

All vulnerabilities


Ports
Home
Categories
Deleted ports
Sanity Test Failures
Newsfeeds


Statistics
Graphs
NEW Graphs (Javascript)
Traffic

Calculated hourly:
Port count 24394
Broken 106
Deprecated 39
Ignore 364
Forbidden 1
Restricted 206
No CDROM 93
Vulnerable 18
Expired 0
Set to expire 35
Interactive 0
new 24 hours 12
new 48 hours122
new 7 days131
new fortnight156
new month202

Servers and bandwidth provided by
New York Internet, SuperNews, and RootBSD
Valid HTML, CSS, and RSS.
Copyright © 2000-2014 Dan Langille. All rights reserved.