---
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
