Command-line tool

screwsat

cargo/screwsat

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

A simple condlict driven clause learning sat solver

Website Source

At a glance

Type

Command-line tool

Install on

Windows, macOS, Linux

Last checked

25 Oct 2026, 21:09 UTC

Install it

Windows

cargo install screwsat

macOS

cargo install screwsat

Linux

cargo install screwsat

Related command-line tools

• stp
  Simple Theorem Prover, an efficient SMT solver for bitvectors
• basic-http-server
  A simple static HTTP file server, for learning and local development
• clp
  Linear programming solver
• cryptominisat
  Advanced SAT solver
• aspcud
  Package dependency solver
• kissat
  Bare metal SAT solver
• cbc
  Mixed integer linear programming solver
• depqbf
  Solver for quantified boolean formulae (QBF)

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