I'd like to make a suggestion that some of the older klee webpages should be updated to reflect the fact that klee is now available (e.g. http://checking.stanford.edu/wiki/Klee and http://minormatter.com/zr/, which links to the Standord Checking Group page).
Over the past few days a few people I know have come across these pages before klee.llvm.org and consequently have thought that klee wasn't available. ~Jim
