bddsolve-1.04_3.txz


Advertisement

Description

bddsolve - BDD-based satisfiability and reachability solver

Property Value
Distribution FreeBSD 10
Repository FreeBSD Ports Quarterly i386
Package name bddsolve
Package version 1.04
Package release 3
Package architecture i386
Package type txz
Installed size 404.51 KB
Download size 100.60 KB
Official Mirror pkg.freebsd.org
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/
Categories: science
Maintainer: ed@FreeBSD.org
Options:
- EXAMPLES: on

Alternatives

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

Requires

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

Download

Type URL
Binary Package bddsolve-1.04_3.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.0.5.txz be language pack for libreoffice
beacon-1.4_4.txz Beacon active measurement tool to monitor multicast
beadm-1.2.9_1.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.2.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.3.2.txz Collect logs locally and send to remote logstash
Advertisement
Advertisement