#formula #varisat #solver #varisat-formula

varisat-formula

Basic formula data types used by the Varisat SAT solver

2 releases

0.2.2 Sep 9, 2020
0.2.1 May 18, 2019

#2488 in Algorithms

Download history 3337/week @ 2024-12-27 4181/week @ 2025-01-03 5322/week @ 2025-01-10 5836/week @ 2025-01-17 6496/week @ 2025-01-24 6542/week @ 2025-01-31 6687/week @ 2025-02-07 6349/week @ 2025-02-14 6146/week @ 2025-02-21 6838/week @ 2025-02-28 7610/week @ 2025-03-07 7874/week @ 2025-03-14 6908/week @ 2025-03-21 7933/week @ 2025-03-28 9282/week @ 2025-04-04 10550/week @ 2025-04-11

35,718 downloads per month
Used in 22 crates (5 directly)

MIT/Apache

28KB
599 lines

Varisat - Formula

Basic formula data types used 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.

Dependencies

~0–610KB
~11K SLoC