Skip to content
Back to Apps FastBrew

stp

Formula Utilities v2.3.4

Simple Theorem Prover, an efficient SMT solver for bitvectors

Install 1 App in Terminal
$ 
brew install 'stp'
Source: homebrew/core Website Homebrew

Dependencies

boostcryptominisatgmpminisatpython@3.14

Build Dependencies

bisoncmakeflex
Install Statistics 3.1% vs 90d

Install activity across time periods

Metric 30 Days 90 Days 1 Year
Total Installs 45 131 706
Avg Daily Installs 2 1 2

Related Utilities Apps

View All
xz
Popular

General-purpose data compression with high compression ratio

formula Utilities v5.8.3
readline
Popular

Library for command-line editing

formula Utilities v8.3.3
zstd
Popular

Zstandard is a real-time compression algorithm

formula Utilities v1.5.7
glib
Popular

Core application library for C

formula Utilities v2.88.1
gh
Popular

GitHub command-line tool

formula Utilities v2.92.0
gettext
Popular

GNU internationalization (i18n) and localization (l10n) library

formula Utilities v1.0
X