YKYH Picks
☰ Menu
Home›Command-Line Tools›minisat
CLI Open source 9 installs/mo

minisat for Mac

Minimalistic and high-performance SAT solver

Quick answer: minisat is a command-line tool for macOS. Install it with brew install minisat. It is distributed under the MIT licence. It has 9 Homebrew installs in the last 30 days.

What minisat is

minisat is a command-line tool for macOS: minimalistic and high-performance SAT solver.

It is distributed as a Homebrew formula, which builds or pours a binary and puts it on your PATH. The project is open source and lives at https://github.com/stp/minisat.

How to install minisat

  1. Open Terminal (press ⌘ + Space and type “Terminal”).
  2. If Homebrew is not installed yet, run the installer below once.
  3. Run brew install minisat.

Homebrew installer, if you need it:

Prefer a graphical installer? Download it from the official site. MacPicks never hosts or mirrors binaries — the Homebrew command always pulls from the vendor's own release.

Similar apps in Command-Line Tools

Closest apps in the same category, ordered by description similarity and install base. These are related tools, not confirmed substitutes; the comparison pages cover hand-picked head-to-head matchups.

libbscHigh performance block-sorting data compression libraryCLIOpen source9/mogravitinoHigh-performance, geo-distributed, and federated metadata lakeCLIOpen source9/mohttperfTool for measuring webserver performanceCLIOpen source9/modnspyreCLI tool for a high QPS DNS benchmarkCLIOpen source9/moartilleryCloud-native performance & reliability testing for developers and SREsCLIOpen source9/modamask-gridGrid solver of DAMASK - Multi-physics crystal plasticity simulation packageCLIOpen source9/mo

Frequently asked questions

How do I install minisat on Mac?

Run brew install minisat in Terminal. This requires Homebrew; if you do not have it, install it first with the command below.

Is minisat open source?

Yes — Homebrew distributes it under the MIT licence.

Does minisat run on Apple silicon?

Homebrew publishes this formula for macOS. If upstream does not ship an Apple silicon build, Rosetta 2 handles the Intel binary.

How popular is minisat?

It was installed 9 times in the last 30 days according to Homebrew analytics, ranking #8393 in this catalogue.

What version of minisat is current?

The latest packaged version is 2.2.1.