---
name: "cryptominisat5_simple"
section: "1"
platform: "linux"
package: "cryptominisat"
version: "5.8.0+dfsg1-1+b3"
release: "Debian 11 (Bullseye)"
platforms: ["linux"]
url: "https://new.carta.tech/cryptominisat5_simple"
---

# cryptominisat5\_simple(1)

SAT solver

## NAME

cryptominisat5\_simple - SAT solver

## SYNOPSIS

**cryptominisat5\_simple** \[*options*\] *\<input-file\> where input is plain DIMACS.*

## OPTIONS

- **--verb**

  \= \[0...\]  Sets verbosity level. Anything higher than 2 will give debug log

- **--drat**

  \= {fname} DRAT dumped to file

- **--sls**

  \= {walksat,yalsat} Which SLS solver to use

- **--threads**

  \= \[1...\]  Sets number of threads

## BUG TRACKER

Please don't hesitate to file any and all issues at:

https://github.com/msoos/cryptominisat/issues

## AUTHORS

cryptominisat5 is written and maintained by **Mate Soos soos.mate@gmail.com**

## COPYRIGHT

cryptominisat5 is under the **MIT** license. Please see https://opensource.org/licenses/MIT for the full text

## SEE ALSO

More documentation for the cryptominisat5 SAT solver can be found at https://www.msoos.org/cryptominisat5/