14:28 ed 

Upgrade bddsolve to version 1.04.

This release includes a fix that should make it build with C++14.

PR:   216080
Reviewed by:	jbeich
Differential Revision:	https://reviews.freebsd.org/D13951

 

19:08 ed (src committer) 

Bump bddsolve to version 1.0.3.

Though this does not yet fix the build on FreeBSD HEAD, this version
does fix some tiny issues that prevent it from being built with clang.

 

13:22 ohauer 

 - remove MD5

13:25 beat 

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@