X
FastBrew

cryptominisat

⚗️ Formula Utilities v5.12.1

Advanced SAT solver

Installs (90 Days)

231

Page Views

0

Command Copies

0

Last Updated

yesterday

Installation

Install cryptominisat using Homebrew:

Install in Terminal
brew install cryptominisat
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