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

Port details
bddsolve BDD-based satisfiability and reachability solver
1.03_4 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 : PortsMon

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

PKGNAME: bddsolve

ONLY_FOR_ARCHS: nil

NOT_FOR_ARCHS: nil

distinfo:

SHA256 (bddsolve-source-1.03.zip) = 39af26667feebeafb6dc0dc7baadfe3d28b93b81bc9263887ceb33ab8641a068
SIZE (bddsolve-source-1.03.zip) = 18440


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

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

USES:
zip

Master Sites:
  1. http://www.win.tue.nl/~wieger/bddsolve/_downloads/

Number of commits found: 17

Commit History - (may be incomplete: see SVNWeb link above for full details)
DateByDescription
02 May 2017 06:48:11
Original commit files touched by this commit  1.03_4
Revision:439934
jbeich search for other commits by this committer
devel/boost-*: update to 1.64.0

Changes:	http://www.boost.org/users/history/version_1_64_0.html
PR:		218835
Approved by:	office (bapt)
Exp-run by:	antoine
Differential Revision:	https://reviews.freebsd.org/D10472
06 Jan 2017 08:45:04
Original commit files touched by this commit  1.03_3
Revision:430692
jbeich search for other commits by this committer
devel/boost-*: update to 1.63.0

Changes:	http://www.boost.org/users/history/version_1_63_0.html
PR:		215598
Exp-run by:	antoine
Approved by:	office (bapt)
MFH:		2017Q1
23 Nov 2016 12:45:47
Original commit files touched by this commit  1.03_2
Revision:426908
jbeich search for other commits by this committer
devel/boost-*: update to 1.62.0

- Enable `long double` C99 math usage
- Switch 9.x back to building with GCC

Changes:	http://www.boost.org/users/history/
PR:		199601
Submitted by:	Chen Xu, bapt, amdmi3, truckman (based on)
Reviewed by:	rakuco (kde) (earlier version)
Exp-run by:	antoine (3 tries), truckman (consumers only, earlier versions)
Approved by:	bapt (office)
21 Apr 2016 16:43:15
Original commit files touched by this commit  1.03_1
Revision:413746
swills search for other commits by this committer
many ports: mark broken on powerpc64
01 Apr 2016 14:25:18
Original commit files touched by this commit  1.03_1
Revision:412349
mat search for other commits by this committer
Remove ${PORTSDIR}/ from dependencies, categories r, s, t, and u.

With hat:	portmgr
Sponsored by:	Absolight
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: 17

Login
User Login
Create account

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

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

Search
Enter Keywords:
 
more...

Latest Vulnerabilities
eximJun 21
openvpnJun 21
openvpn-mbedtlsJun 21
pear-Horde_ImageJun 21
pear-Horde_ImageJun 21
apache22Jun 20
apache24Jun 20
chromiumJun 16
curlJun 15
linux-flashplayerJun 15
p5-RT-Authen-ExternalAuthJun 15
rt42Jun 15
rt44Jun 15
firefoxJun 13
firefox-esrJun 13

13 vulnerabilities affecting 73 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 30410
Broken 167
Deprecated 79
Ignore 459
Forbidden 0
Restricted 207
No CDROM 84
Vulnerable 153
Expired 33
Set to expire 75
Interactive 0
new 24 hours 4
new 48 hours5
new 7 days34
new fortnight307
new month495

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