[klee-dev] Homebrew Package

[Carlo Cabrera]

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