Extra Credit
z3
High-performance theorem prover
$
brew install z3Official docs outline
Extra Credit builds an outline of z3's docs the first time your work uses it. Until then, start at the official documentation.
More in Homebrew formulae
All 3,000- cairo Vector graphics library with cross-device output support
- libuv Multi-platform support library with a focus on asynchronous I/O
- freetype Software library to render fonts
- c-ares Asynchronous DNS library
- libvmaf Perceptual video quality assessment based on multi-method fusion
- json-c JSON parser for C
- curl Get a file from an HTTP, HTTPS or FTP server
- libnghttp2 HTTP/2 C Library
- jpeg-turbo JPEG image codec that aids compression and decompression
- icu4c@79 C/C++ and Java libraries for Unicode and globalization
- aom Codec library for encoding and decoding AV1 video streams
- libngtcp2 IETF QUIC protocol implementation