bddsolve 1.02 science =0

BDD-based satisfiability and reachability solver
Maintained by: ed@FreeBSD.org
Port Added: 12 May 2010 13:26:00
License: not specified in port

---

---

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/

CVSWeb : Sources : Main Web Site : Distfiles Availability : PortsMon

---

NOTE: FreshPorts displays only required dependencies information. Optional dependencies are not covered.
Required Libraries: science/buddy, devel/boost-libs
There are no ports dependent upon this port

---

To install the port: cd /usr/ports/science/bddsolve/ && make install clean
To add the package: pkg_add -r bddsolve

---

Configuration Options

     No options to configure

---

Master Sites:

http://www.win.tue.nl/~wieger/bddsolve/

ftp://ftp.FreeBSD.org/pub/FreeBSD/ports/distfiles/

Mark as broken on powerpc.

Hat:            portmgr

 - remove MD5

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@

12 vulnerabilities affecting 17 ports have been reported in the past 14 days

^* - modified, not new

All vulnerabilities