2 releases
0.2.1  May 18, 2019 

0.2.0  May 4, 2019 
0.1.3 

#7 in #varisat
245KB
5.5K
SLoC
Varisat
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 crates.io).
License
The Varisat source code is licensed under either of
 Apache License, Version 2.0 (LICENSEAPACHE or http://www.apache.org/licenses/LICENSE2.0)
 MIT license (LICENSEMIT or http://opensource.org/licenses/MIT)
at your option.
Contribution
Unless you explicitly state otherwise, any contribution intentionally submitted for inclusion in Varisat by you, as defined in the Apache2.0 license, shall be dual licensed as above, without any additional terms or conditions.
Dependencies
~5–14MB
~159K SLoC