1.
Varisat
2.
Command Line Solver
2.1.
Basic Usage
2.2.
Generating and Checking Proofs
3.
Rust Library
3.1.
Formulas
3.2.
Basic Solving
3.3.
Incremental Solving
4.
File Formats
4.1.
DIMACS CNF
4.2.
Varisat Proofs
4.3.
DRAT Proofs
4.4.
LRAT Proofs
Light (default)
Rust
Coal
Navy
Ayu
Varisat Manual
File Formats
This section contains descriptions of the file formats used by Varisat.