| layout | default |
|---|---|
| title | Getting Started |
| subtitle | Installing KLEE |
| slug | getting-started |
There are three ways to get started with KLEE.
- Use our Docker images: this is the fastest way to get started.
- Build from source against LLVM 3.4: this is the current recommended version.
- Build from source against LLVM 2.9: this is another version which we are still maintaining.