---
name: bddsolve
version: 1.03
origin: science/bddsolve
comment: BDD-based satisfiability and reachability solver
arch: freebsd:10:x86:64
www: http://www.win.tue.nl/~wieger/bddsolve/
maintainer: ed@FreeBSD.org
prefix: /usr/local
licenselogic: single
flatsize: 427438
desc: |
  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/
deps:
  buddy: {origin: science/buddy, version: 2.4_1}
  icu: {origin: devel/icu, version: 50.1.2}
  boost-libs: {origin: devel/boost-libs, version: 1.52.0_2}
categories:
- science
shlibs_required:
- libbdd.so.0
- libboost_program_options.so.5
files:
  /usr/local/bin/bddsolve: 1aa3620113941de0d33cb366b00ced62cebaf5383c939adee75793067bdb8986
  /usr/local/share/examples/bddsolve/reach.b: 0e111dcf85908dfa33ddfb7c56dd7c5aeb0cfe34748b00853acb01fe0e624092
  /usr/local/share/examples/bddsolve/sat.b: 23d903633144df30dc2aa926116b10a5c597478e3489fa587fa8cb3ca194989d
directories:
  /usr/local/share/examples/bddsolve/: n
scripts: {}
