X
FastBrew

stp

⚗️ Formula Utilities v2.3.4

Simple Theorem Prover, an efficient SMT solver for bitvectors

Installs (90 Days)

250

Page Views

0

Command Copies

0

Last Updated

yesterday

Installation

Install stp using Homebrew:

Install in Terminal
brew install stp
Quick Stats
Category Utilities
Type Formula
Homebrew
View on Homebrew

Related Utilities Apps

python@3.13
Popular

Interpreted, interactive, object-oriented programming language

formula Utilities v3.13.9
harfbuzz
Popular

OpenType text shaping engine

formula Utilities v12.2.0
readline
Popular

Library for command-line editing

formula Utilities v8.3.1
glib
Popular

Core application library for C

formula Utilities v2.86.1
xz
Popular

General-purpose data compression with high compression ratio

formula Utilities v5.8.1
awscli
Popular

Official Amazon AWS command-line interface

formula Utilities v2.31.31