Dear klee-dev, I noticed that packaging was listed as an open project on the website. So, I submitted klee for packaging at Homebrew [1].
If you use Homebrew (on macOS or Linux), you can now install klee with brew install klee It is built with libc++, but without exception handling. EH lead to a build failure on macOS. The Homebrew package has a pre-built binary on macOS. If there is interest in one for Linux as well, I can look into it. Best, Carlo [1] https://brew.sh _______________________________________________ klee-dev mailing list klee-dev@imperial.ac.uk https://mailman.ic.ac.uk/mailman/listinfo/klee-dev