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