varisat-cli 0.2.1

A CDCL based SAT solver (command line solver)
varisat-cli-0.2.1 is not a library.


Varisat is a CDCL based SAT solver written in rust. Given a boolean formula in conjunctive normal form, it either finds a variable assignment that makes the formula true or finds a proof that this is impossible.

This is the command line version. Varisat is also available as a library (varisat on


The Varisat source code is licensed under either of

at your option.


Unless you explicitly state otherwise, any contribution intentionally submitted for inclusion in Varisat by you, as defined in the Apache-2.0 license, shall be dual licensed as above, without any additional terms or conditions.