bddsolve-1.04_8.txz


Advertisement

Description

bddsolve - BDD-based satisfiability and reachability solver

Property Value
Distribution FreeBSD 11
Repository FreeBSD Ports Latest amd64
Package filename bddsolve-1.04_8.txz
Package name bddsolve
Package version 1.04
Package release 8
Package architecture amd64
Package type txz
Category science
Homepage http://www.win.tue.nl/~wieger/bddsolve/
License -
Maintainer ed@FreeBSD.org
Download size 101.10 KB
Installed size 401.89 KB
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/
Options:
- EXAMPLES: on

Alternatives

Package Version Architecture Repository
bddsolve-1.04_8.txz 1.04 i386 FreeBSD Ports Latest
bddsolve-1.04_6.txz 1.04 amd64 FreeBSD Ports Quarterly
bddsolve-1.04_6.txz 1.04 i386 FreeBSD Ports Quarterly
bddsolve - - -

Requires

Name Value
boost-libs = 1.71.0
buddy = 2.4_2
libbdd.so.0 -
libboost_program_options.so.1.71.0 -

Download

Type URL
Mirror pkg.freebsd.org
Binary Package bddsolve-1.04_8.txz
Source Package science/bddsolve

Install Howto

Install bddsolve txz package:

# pkg install bddsolve

See Also

Package Description
bdelta-0.3.1.txz Advanced delta creator, patcher, and library
bdes-1993.txz Encrypt/decrypt using the Data Encryption Standard (DES)
bdfresize-1.5_2.txz Tool for resizing BDF format font
bdftopcf-1.1_2.txz Convert X font from BDF to PCF
be-aspell-0.01_1,2.txz Aspell Belarusian dictionary
be-libreoffice-6.3.1.txz be language pack for libreoffice
beacon-1.4_4.txz Beacon active measurement tool to monitor multicast
beadm-1.3.0.txz Solaris-like utility to manage Boot Environments on ZFS
beadm-devel-1.2.99.20180708_1.txz Solaris-like utility to manage Boot Environments on ZFS
beancount-2.1.3.txz Double-Entry Accounting from Text Files
beanie-0.8.2_1.txz Open Source accounting system
beansdb-0.7.1.4.txz Yet another distributed key-value storage system from Douban Inc
beanstalkd-1.10.txz Fast, distributed, in-memory workqueue service
bearssl-0.6.txz Implementation of TLS/SSL in C
beats-6.7.1.txz Collect logs locally and send to remote logstash
Advertisement
Advertisement