kpriv/freebsd-ports
1
0
Fork 0
Code Issues Pull requests Projects Releases Packages Wiki Activity
freebsd-ports/science/bddsolve/distinfo
Beat Gaetzi d717f25f58 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@
2010-05-12 13:25:37 +00:00

3 lines
186 B
Text
Raw Blame History

MD5 (bddsolve-1.02.zip) = a84faa33f72f0aad0611e4d92abc08bd
SHA256 (bddsolve-1.02.zip) = 7cac132baada2fe80c8ec48aa619d799d5b5be7832689632dd1c35a5c9762af5
SIZE (bddsolve-1.02.zip) = 19180
Reference in a new issue View git blame Copy permalink