Getting Started with KLEE
Run tiny code examples in your browser with KLEE web.
Our Docker images are one of the fastest ways to get started.
Installation via Package Manager
- Use your package manager for Arch Linux, openSUSE Tumbleweed, and several other distributions
- Running with Nix: this is even faster than Docker if you have Nix.
- FreeBSD package: FreeBSD users can install latest release with
pkg install kleeor by building
- Homebrew package: install the latest release using Homebrew