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

Please give me your LTO-4 or better tape library and I'll put it to good use.
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 Find issues related to this port Report an issue related to this port
Maintainer: 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 : Homepage : Distfiles Availability : PortsMon

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

Library dependencies:
  1. libbdd.so : science/buddy
  2. libboost_program_options.so : 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

USES:
zip

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

Number of commits found: 12

Commit History - (may be incomplete: see SVNWeb link above for full details)
DateByDescription
25 Feb 2015 12:01:53
Original commit files touched by this commit  1.03_1
Revision:379903
marino search for other commits by this committer
science/bddsolve: Set environment, use CXXFLAGS, cleanup

This port had two main problems:
  1) failure to set the enviroment in the build target
  2) failure to use CXXFLAGS with CXX

While fixing those, clean up a bit:
  3) remove <pre>,<post> by using BROKEN_powerpc instead
  4) use CFLAGS+= to augment CFLAGS
  5) use LDFLAGS+= to augment LDFLAGS
  6) simplify do-build target accordingly

Approved by:	just fix it
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: 12

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
chicken*Jul 31
net-snmpJul 31
net-snmpJul 31
bind910Jul 28
bind99Jul 28
logstashJul 27
openssh-portableJul 27
chromiumJul 25
wordpress*Jul 24
wordpress*Jul 24
wordpress*Jul 24
wordpress*Jul 24
wordpress-zh_TW*Jul 24
libidnJul 23
opensaml2Jul 23

20 vulnerabilities affecting 50 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 25090
Broken 200
Deprecated 113
Ignore 501
Forbidden 1
Restricted 204
No CDROM 94
Vulnerable 44
Expired 8
Set to expire 101
Interactive 0
new 24 hours 2
new 48 hours3
new 7 days33
new fortnight70
new month191

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