It'd be extremely helpful if kani were packaged for homebrew. Concrete I think this means creating a single brew formula (https://github.com/Homebrew/homebrew-core/) that, when installed, provided all teh required kani functionality, and did not require cargo kani setup.
I'm not familiar enough with kani's packaging to say if it makes more sense for it to be a single formula, or a few with dependencies (E.g., should CBMC be its own formula that the kani formula depends on)
It'd be extremely helpful if kani were packaged for homebrew. Concrete I think this means creating a single brew formula (https://github.com/Homebrew/homebrew-core/) that, when installed, provided all teh required kani functionality, and did not require
cargo kani setup.I'm not familiar enough with kani's packaging to say if it makes more sense for it to be a single formula, or a few with dependencies (E.g., should CBMC be its own formula that the kani formula depends on)