Command-line tool

cadical

brew/cadical

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

Clean and efficient state-of-the-art SAT solver

Website

At a glance

Type

Command-line tool

Install on

macOS, Linux

Last checked

25 Oct 2026, 21:09 UTC

Install it

macOS

brew install cadical

Linux

brew install cadical

Related command-line tools

• stp
  Simple Theorem Prover, an efficient SMT solver for bitvectors
• mockolo
  Efficient Mock Generator for Swift
• bupstash
  Easy and efficient encrypted backups
• segul
  An ultrafast and memory-efficient tool for phylogenomics
• osctrl-cli
  Fast and efficient osquery management
• osctrl-mcp
  Fast and efficient osquery management
• spin
  Efficient verification tool of multi-threaded software
• lizard
  Efficient compressor with very fast decompression

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