Setup for a development Linux (Ubuntu) machine (Called "a" to minimize typing)
Bring up a terminal (program name varies by Linux OS) and install/build everything:
sudo apt-get install -y git
git clone https://github.com/Butterwell/a.git
./a/all.sh
To start, everything includes klee and various tools needed to run klee.