|0.2.2||Sep 9, 2020|
|0.2.1||May 18, 2019|
|0.2.0||May 4, 2019|
#1037 in Algorithms
20,590 downloads per month
Used in 13 crates (11 directly)
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 library version. Varisat is also available as a command line solver
varisat-cli on crates.io).
The internal APIs are documented using rustdoc. It can be generated using
cargo doc --document-private-items --all --exclude varisat-cli or viewed
You can also read a series of blog posts about the development of varisat.
The Varisat source code is licensed under either of
- Apache License, Version 2.0 (LICENSE-APACHE or http://www.apache.org/licenses/LICENSE-2.0)
- MIT license (LICENSE-MIT or http://opensource.org/licenses/MIT)
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.