BSD Ports

science/bddsolve 1.04_18 DragonFly

BDD-based satisfiability and reachability solver

System
DragonFly
Repository
DPorts
Maintainer
[email protected] (as in FreeBSD)
Categories
science
Package size
93.6 KiB, 296.5 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
DragonFlyscience/bddsolve1.04_18
FreeBSDscience/bddsolve1.04_22

Install

Binary package:

pkg install bddsolve

From DPorts:

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

Dependencies

Run dependencies 2

No port depends on this one.