K 10
svn:author
V 6
arrowd
K 8
svn:date
V 27
2018-06-17T20:36:22.092297Z
K 7
svn:log
V 170
math/cryptominisat and math/py-cryptominisat: Update to 5.6.1.

Reviewed by:	mat
Approved by:	tcberner (mentor)
Differential Revision:	https://reviews.freebsd.org/D15735

END