#sat-solver #proof #checker #varisat #generate

varisat-checker

Proof checker for proofs generate by the Varisat SAT solver

2 releases

0.2.2 Sep 9, 2020
0.2.1 May 18, 2019

#1471 in Algorithms

Download history 3948/week @ 2023-11-20 6318/week @ 2023-11-27 4562/week @ 2023-12-04 4437/week @ 2023-12-11 3997/week @ 2023-12-18 2976/week @ 2023-12-25 3816/week @ 2024-01-01 4659/week @ 2024-01-08 3578/week @ 2024-01-15 2695/week @ 2024-01-22 3214/week @ 2024-01-29 4232/week @ 2024-02-05 3412/week @ 2024-02-12 4097/week @ 2024-02-19 3910/week @ 2024-02-26 4545/week @ 2024-03-04

16,322 downloads per month
Used in 16 crates (2 directly)

MIT/Apache

160KB
3.5K SLoC

Varisat - Checker

Proof checker for proofs generate by the Varisat SAT solver.

The functionality of this crate is re-exported by the main Varisat crate.

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.


lib.rs:

Proof checker for Varisat proofs.

Dependencies

~0.6–1.2MB
~26K SLoC