notbugAs an Amazon Associate I earn from qualifying purchases.
Want a good read? Try FreeBSD Mastery: Jails (IT Mastery Book 15)
Ukraine
FreshPorts needs to find a new hosting provide willing to take a 2U chassis and host it free of charge. This is part of the FreshPorts project. Preferably in the Austin area. This is not a primary server, but it used for development.
Port details
bddsolve BDD-based satisfiability and reachability solver
1.04_10 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 View this port on Repology. pkg-fallout Version of this port present on the latest quarterly branch.
Maintainer: ed@FreeBSD.org search for ports maintained by this maintainer
Port Added: 2010-05-12 13:26:00
Last Update: 2022-07-20 14:22:51
Commit Hash: 4619604
License: not specified in port
Description:
SVNWeb : git : Homepage
pkg-plist: as obtained via: make generate-plist
Expand this list (6 items)
Collapse this list.
  1. bin/bddsolve
  2. share/examples/bddsolve/reach.b
  3. share/examples/bddsolve/sat.b
  4. @owner
  5. @group
  6. @mode
Collapse this list.
Dependency lines:
  • bddsolve>0:science/bddsolve
To install the port:
cd /usr/ports/science/bddsolve/ && make install clean
To add the package, run one of these commands:
  • pkg install science/bddsolve
  • pkg install bddsolve
NOTE: If this package has multiple flavors (see below), then use one of them instead of the name specified above.
PKGNAME: bddsolve
Flavors: there is no flavor information for this port.
distinfo:
Packages (timestamps in pop-ups are UTC):
bddsolve
ABIlatestquarterly
FreeBSD:11:aarch641.04_31.04_9
FreeBSD:11:amd641.04_91.04_9
FreeBSD:11:armv61.03_11.04_9
FreeBSD:11:i3861.04_91.04_9
FreeBSD:11:mips--
FreeBSD:11:mips64--
FreeBSD:12:aarch641.04_31.04_10
FreeBSD:12:amd641.04_101.04_10
FreeBSD:12:armv61.04_31.04_9
FreeBSD:12:armv71.04_31.04_9
FreeBSD:12:i3861.04_101.04_10
FreeBSD:12:mips--
FreeBSD:12:mips64--
FreeBSD:12:powerpc64-1.04_9
FreeBSD:13:aarch641.04_101.04_10
FreeBSD:13:amd641.04_101.04_10
FreeBSD:13:armv61.04_91.04_10
FreeBSD:13:armv71.04_101.04_10
FreeBSD:13:i3861.04_101.04_10
FreeBSD:13:mips--
FreeBSD:13:mips64--
FreeBSD:13:powerpc641.04_91.04_9
FreeBSD:13:riscv64-1.04_10
FreeBSD:14:aarch641.04_10-
FreeBSD:14:amd641.04_10-
FreeBSD:14:armv61.04_10-
FreeBSD:14:armv71.04_10-
FreeBSD:14:i3861.04_10-
FreeBSD:14:mips--
FreeBSD:14:mips64--
FreeBSD:14:powerpc641.04_9-
FreeBSD:14:riscv641.04_9-
 

Dependencies
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:
Options name:

USES:

FreshPorts was unable to extract/find any pkg message
Master Sites:
Expand this list (1 items)
Collapse this list.
  1. http://www.win.tue.nl/~wieger/bddsolve/_downloads/
Collapse this list.

Number of commits found: 35

Commit History - (may be incomplete: see SVNWeb link above for full details)
DateByDescription
20 Jul 2022 14:22:51
 files touched by this commit commit hash:46196047a4df0f85aaee442799209fdaacf03361  1.04_10
Tobias C. Berner (tcberner) search for other commits by this committer
science: remove 'Created by' lines

A big Thank You to the original contributors of these ports:

  *  Andreas Fehlner <fehlner@gmx.de>
  *  Brad Huntting <huntting@glarp.com>
  *  Chao Shin <quakelee@cn.FreeBSD.org>
  *  Cheng-Lung Sung <clsung@FreeBSD.org>
  *  Chia-Hsing Yu <me@davidyu.org>
  *  Chris Rees <utisoft@gmail.com>
  *  David Naylor <dbn@FreeBSD.org>
  *  Dmitry Sivachenko <demon@FreeBSD.org>
  *  Ed Schouten <ed@FreeBSD.org>
  *  Eric Freeman <freebsdports@chillibear.com>
  *  Erik B Knudsen
(Only the first 15 lines of the commit message are shown above View all of this commit message)
22 May 2022 20:17:16
 files touched by this commit commit hash:b082b3d13e8c4872b73fb681eb99b261926ac9cd  1.04_10
Dima Panov (fluffy) search for other commits by this committer
devel/boost-all: bump all library consumers after boost upgrade

PR:	246106
27 Apr 2022 13:22:47
 files touched by this commit commit hash:dcf2fd17fe1d8e2a6e5408a2325f5e46a524e76c  1.04_9
Piotr Kubaj (pkubaj) search for other commits by this committer
science/bddsolve: enable on powerpc
06 Apr 2021 14:31:07
 files touched by this commit commit hash:305f148f482daf30dcf728039d03d019f88344eb  1.04_9
Mathieu Arnold (mat) search for other commits by this committer
Remove # $FreeBSD$ from Makefiles.
11 Dec 2019 17:53:49
Original commit files touched by this commit Revision:519824  1.04_9
jbeich search for other commits by this committer
devel/boost-*: update to 1.72.0

Changes:	http://www.boost.org/users/history/version_1_72_0.html
PR:		241449
Exp-run by:	antoine
Differential Revision:	https://reviews.freebsd.org/D22136
19 Aug 2019 15:35:28
Original commit files touched by this commit Revision:509290  1.04_8
jbeich search for other commits by this committer
devel/boost-*: update to 1.71.0

Changes:	http://www.boost.org/users/history/version_1_71_0.html
PR:		238827
Exp-run by:	antoine
Differential Revision:	https://reviews.freebsd.org/D20774
26 Jul 2019 20:46:57
Original commit files touched by this commit Revision:507372  1.04_7
gerald search for other commits by this committer
Bump PORTREVISION for ports depending on the canonical version of GCC
as defined in Mk/bsd.default-versions.mk which has moved from GCC 8.3
to GCC 9.1 under most circumstances now after revision 507371.

This includes ports
 - with USE_GCC=yes or USE_GCC=any,
 - with USES=fortran,
 - using Mk/bsd.octave.mk which in turn features USES=fortran, and
 - with USES=compiler specifying openmp, nestedfct, c11, c++0x, c++11-lang,
   c++11-lib, c++14-lang, c++17-lang, or gcc-c++11-lib
plus, everything INDEX-11 shows with a dependency on lang/gcc9 now.

PR:		238330
12 Apr 2019 06:36:31
Original commit files touched by this commit Revision:498698  1.04_6
jbeich search for other commits by this committer
devel/boost-*: update to 1.70.0

Changes:	http://www.boost.org/users/history/version_1_70_0.html
PR:		235956
Exp-run by:	antoine
Differential Revision:	https://reviews.freebsd.org/D19303
12 Dec 2018 01:35:36
Original commit files touched by this commit Revision:487272  1.04_5
gerald search for other commits by this committer
Bump PORTREVISION for ports depending on the canonical version of GCC
defined via Mk/bsd.default-versions.mk which has moved from GCC 7.4 t
GCC 8.2 under most circumstances.

This includes ports
 - with USE_GCC=yes or USE_GCC=any,
 - with USES=fortran,
 - using Mk/bsd.octave.mk which in turn features USES=fortran, and
 - with USES=compiler specifying openmp, nestedfct, c11, c++0x, c++11-lang,
   c++11-lib, c++14-lang, c++17-lang, or gcc-c++11-lib
plus, as a double check, everything INDEX-11 showed depending on lang/gcc7.

PR:		231590
12 Dec 2018 00:15:50
Original commit files touched by this commit Revision:487266  1.04_4
jbeich search for other commits by this committer
devel/boost-*: update to 1.69.0

Changes:	http://www.boost.org/users/history/version_1_69_0.html
PR:		232525
Exp-run by:	antoine
Differential Revision:	https://reviews.freebsd.org/D17645
22 Sep 2018 05:30:32
Original commit files touched by this commit Revision:480340  1.04_3
linimon search for other commits by this committer
Fix build on gcc-based archs by updating USES.

Tested on powerpc64 and amd64 (for no regression).

While here, pet portlint.

Approved by:	portmgr (tier-2 blanket)
09 Aug 2018 06:58:31
Original commit files touched by this commit Revision:476723  1.04_3
jbeich search for other commits by this committer
devel/boost-*: update to 1.68.0

- Switch to C++14 for libboost_system to support C++14 consumers

Changes:	http://www.boost.org/users/history/version_1_68_0.html
PR:		229569
Exp-run by:	antoine
Differential Revision:	https://reviews.freebsd.org/D16165
18 Apr 2018 13:57:43
Original commit files touched by this commit Revision:467711  1.04_2
jbeich search for other commits by this committer
devel/boost-*: update to 1.67.0

Changes:	http://www.boost.org/users/history/version_1_67_0.html
PR:		227427
Exp-run by:	antoine
Differential Revision:	https://reviews.freebsd.org/D15030
09 Mar 2018 22:46:22
Original commit files touched by this commit Revision:464036  1.04_1
linimon search for other commits by this committer
Add more information to stub error messages.

Remove BROKEN lines where IGNORE has already been set.

While here, pet portlint.

Approved by:	portmgr (tier-2 blanket)
18 Jan 2018 04:11:03
Original commit files touched by this commit Revision:459315  1.04_1
jbeich search for other commits by this committer
devel/boost-*: update to 1.66.0

Changes:	http://www.boost.org/users/history/version_1_66_0.html
PR:		223922
Exp-run by:	antoine
Differential Revision:	https://reviews.freebsd.org/D13279
17 Jan 2018 14:28:32
Original commit files touched by this commit Revision:459258  1.04
ed search for other commits by this committer
Upgrade bddsolve to version 1.04.

This release includes a fix that should make it build with C++14.

PR:   216080
Reviewed by:	jbeich
Differential Revision:	https://reviews.freebsd.org/D13951
25 Sep 2017 00:08:17
Original commit files touched by this commit Revision:450560  1.03_6
jbeich search for other commits by this committer
devel/boost-*: update to 1.65.1

Changes:	http://www.boost.org/users/history/version_1_65_1.html
PR:		218835
Approved by:	maintainer timeout (1.65.1: 2 weeks; 1.65.0: 1 month)
Tested by:	jhibbits (on powerpc64, earlier version)
Exp-run by:	antoine
Differential Revision:	https://reviews.freebsd.org/D11582
25 Sep 2017 00:05:06
Original commit files touched by this commit Revision:450557  1.03_5
jbeich search for other commits by this committer
devel/boost-*: enable C++11 features

PR:		218835
Obtained from:	https://github.com/DragonFlyBSD/DeltaPorts/pull/690
Approved by:	maintainer timeout (2 months)
Exp-run by:	antoine
Differential Revision:	https://reviews.freebsd.org/D11582
02 May 2017 06:48:11
Original commit files touched by this commit Revision:439934  1.03_4
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 Revision:430692  1.03_3
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 Revision:426908  1.03_2
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 Revision:413746  1.03_1
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 Revision:412349  1.03_1
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 Revision:379903  1.03_1
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 Revision:372500  1.03_1
antoine search for other commits by this committer
Cleanup plist
20 Mar 2014 09:34:20
Original commit files touched by this commit Revision:348672  1.03_1
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 Revision:347784  1.03_1
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 Revision:343214  1.03_1
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 Revision:336262  1.03
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 Revision:327767  1.03
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 Revision:327313  1.03
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 Revision:327312  1.03
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: 35