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

kissat for Mac

Bare metal SAT solver

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

What kissat is

kissat is a command-line tool for macOS: bare metal 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/arminbiere/kissat.

How to install kissat

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

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.

cadicalClean and efficient state-of-the-art SAT solverCLIOpen source38/mostpSimple Theorem Prover, an efficient SMT solver for bitvectorsCLIOpen source36/moamberCrystal web framework. Bare metal performance, productivity and happinessCLIOpen source26/moscipSolver for mixed integer programming and mixed integer nonlinear programmingCLIOpen source50/moclpLinear programming solverCLIOpen source17/mofx-upscaleMetal-powered video upscalingCLIOpen source16/mo

Frequently asked questions

How do I install kissat on Mac?

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

Is kissat open source?

Yes — Homebrew distributes it under the MIT licence.

Does kissat 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 kissat?

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

What version of kissat is current?

The latest packaged version is 4.0.4.