Command-line tool

kissat

brew/kissat

Checked 25 Oct 2026, 21:09 UTC · Listing refreshed from Homebrew, winget, npm, Scoop and cargo; npm packages checked against OSV.dev

Bare metal SAT solver

Website Source

At a glance

Type

Command-line tool

Install on

macOS, Linux

Last checked

25 Oct 2026, 21:09 UTC

Install it

macOS

brew install kissat

Linux

brew install kissat

Related command-line tools

• amber
  Crystal web framework. Bare metal performance, productivity and happiness
• statesmith
  State machine code generation tool suitable for bare metal, embedded and more
• GCC ARM Embedded
  Pre-built GNU bare-metal toolchain for 32-bit Arm processors
• GCC ARM Embedded
  Pre-built GNU bare-metal toolchain for 64-bit Arm processors
• oci-cli
  Oracle Cloud Infrastructure CLI cloud cli infrastructure bare-metal
• srvctl
  srvctl (Windows package; no description in the winget index) cli golang bare-metal cloud-server servercom
• metals
  Scala language server
• KernRift
  KernRift (Windows package; no description in the winget index) self-hosted programming-language compiler aot…

Listing text is written by the maker; AptLynx lists tools and does not vouch for them. Find another tool · Browse by topic · For agents