K 10
svn:author
V 5
crees
K 8
svn:date
V 27
2012-12-22T15:01:26.316166Z
K 7
svn:log
V 229
KLEE is a symbolic virtual machine built on top of the
LLVM compiler infrastructure, and available under the
UIUC open source license.

WWW:	http://klee.llvm.org/

PR:		ports/174274
Submitted by:	arrowdodger <6yearold@gmail.com>

END