K 10
svn:author
V 2
ed
K 8
svn:date
V 27
2018-01-17T14:28:32.056150Z
K 7
svn:log
V 193
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

END