SMT solver for bit-vectors, floating-points, arrays and uninterpreted functions
Found on Devadex — the discovery index for independent software the big search engines bury. More from homebrew.
Report this listing