mht208 / homebrew-formal

Homebrew formulae for formal methods

mht208/homebrew-formal Issues

Compile error installing boolector ...
Updated 2 years ago
Installing yices2 is supported via SRI-CSL tap
Updated 3 years ago
Deprecation of `ENV.j1` in favor of `ENV.deparallelize`
Updated 5 years ago
<lablgtk2> failed to build on macOS 10.13 (High Sierra)
Closed 6 years ago1
Error with z3 formula
Closed 6 years ago2
Cudd formula links are down
Updated 6 years ago1
Deprecated issues in the tap
Updated 7 years ago
OCaml incompatibility with why3 install
Updated 8 years ago
SHA1 is deprecated now
Updated 8 years ago
cvc4
Closed 10 years ago2
z3
Updated 10 years ago1
verit
Closed 10 years ago2
cvc3
Closed 10 years ago2
Building why3 fails
Closed 11 years ago5
Building z3 fails on OS X 10.9
Updated 11 years ago1