BSD Ports

science/bddsolve 1.04_22 FreeBSD

BDD-based satisfiability and reachability solver

System
FreeBSD
Repository
FreeBSD ports
Maintainer
[email protected]
Last update
Commit
97a84ef467
Categories
science
Package size
100.2 KiB, 341.4 KiB installed

Description

Bddsolve is a BDD-based tool for solving satisfiability and reachability problems. It uses the BDD package Buddy as a backend.

In the other systems

SystemPortVersion
FreeBSDscience/bddsolve1.04_22
DragonFlyscience/bddsolve1.04_18

Install

Binary package:

pkg install bddsolve

From the ports tree:

cd /usr/ports/science/bddsolve/ && make install clean

To depend on this port in another port's Makefile:

RUN_DEPENDS=	bddsolve>0:science/bddsolve

Packages

The version each package repository carries. “-” means the repository builds no package of it, “n/a” that there is no such repository.

Repositoryaarch64amd64armv6armv7i386
FreeBSD:14:latest1.04_221.04_221.04_111.04_191.04_22
FreeBSD:14:quarterly1.04_221.04_22n/a1.04_191.04_22
FreeBSD:15:latest1.04_221.04_22n/a1.04_191.04_19
FreeBSD:15:quarterly1.04_221.04_22n/an/an/a
FreeBSD:16:latest1.04_221.04_22n/an/an/a
FreeBSD:16:quarterlyn/an/an/an/an/a

Dependencies

As this port's Makefile names them.

Library 2

The full lists below include those, and their dependencies in turn.

Build dependencies 5
Run dependencies 5

No port depends on this one.

Configuration

Options name: science_bddsolve

OptionDefaultDescription
EXAMPLESoffBuild and/or install examples
USES
compiler:c++11-lang zip
Service scripts
none

Files

pkg-plist 3
  • bin/bddsolve
  • share/examples/bddsolve/reach.b
  • share/examples/bddsolve/sat.b
distinfo 1
FileSizeSHA256
bddsolve-source-1.04.zip1844683fc84063a7fc9b2c8afaa12fab1a81d7b950be438381af14a34dc037d315615
Master sites 1
  • http://www.win.tue.nl/~wieger/bddsolve/_downloads/

Commit history 2

DateCommitCreditsLog message
97a84ef467 Dima Panov */*: update boost consumers after boost-1.92
213840c151 Dima Panov */*: bump consumers after devel/boost update