K 10
svn:author
V 8
vsevolod
K 8
svn:date
V 27
2013-10-07T10:37:52.287033Z
K 7
svn:log
V 72
Connect math/clasp and math/minisat to the build.

Reported by:	linimon

END