K 10
svn:author
V 2
ed
K 8
svn:date
V 27
2013-09-14T19:08:52.561758Z
K 7
svn:log
V 173
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.

END