3 releases

0.2.2 Sep 9, 2020
0.2.1 May 18, 2019
0.2.0 May 4, 2019
0.1.3 Sep 14, 2018
0.1.1 May 19, 2018

#1 in #varisat

Download history 5162/week @ 2023-11-10 4585/week @ 2023-11-17 4939/week @ 2023-11-24 5599/week @ 2023-12-01 4863/week @ 2023-12-08 4360/week @ 2023-12-15 3356/week @ 2023-12-22 3506/week @ 2023-12-29 4973/week @ 2024-01-05 3573/week @ 2024-01-12 2838/week @ 2024-01-19 3567/week @ 2024-01-26 3741/week @ 2024-02-02 3522/week @ 2024-02-09 4371/week @ 2024-02-16 2831/week @ 2024-02-23

14,907 downloads per month
Used in 15 crates (12 directly)

MIT/Apache

375KB
9K 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 library version. Varisat is also available as a command line solver (varisat-cli on crates.io).

Documentation

Developer Documentation

The internal APIs are documented using rustdoc. It can be generated using cargo doc --document-private-items --all --exclude varisat-cli or viewed online (master).

You can also read a series of blog posts about the development of varisat.

License

The Varisat source code is licensed under either of

at your option.

Contribution

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.

Dependencies

~4–5.5MB
~108K SLoC