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
; many of our users use Ubuntu, although I don't have any stats.
>
> Best,
> Cristian
>
> On 12/03/2021 16:45, Carlo Cabrera wrote:
>> Dear klee-dev,
>> I noticed that packaging was listed as an open project on the website.
>> So, I submitted klee for packaging at Homebr
> We had a Homebrew tap set up a while ago see,
> https://github.com/klee/homebrew-klee, but it is currently unmaintained. So
> what we need is to have maintainers for these different packages. This is why
> it was great to hear about the Homebrew package you created (which I hope
> you'd
Hi Cristian,
> Could you document more precisely the challenges you have encountered?
> Perhaps it would be best to continue the discussion on GitHub; I've just
> created this issue: https://github.com/klee/klee/issues/1395
Sure, I'll respond to you there.
> BTW, one major disadvantage with