8 releases

0.2.2 Feb 19, 2025
0.2.1 Feb 19, 2025
0.1.4 Feb 9, 2025
0.1.3 Jan 16, 2025
0.1.0 Oct 21, 2024

#167 in #interface

Download history 166/week @ 2024-12-06 26/week @ 2024-12-13 5/week @ 2024-12-20 3/week @ 2025-01-03 119/week @ 2025-01-10 126/week @ 2025-01-17 1/week @ 2025-01-24 18/week @ 2025-01-31 135/week @ 2025-02-07 319/week @ 2025-02-14 103/week @ 2025-02-21 36/week @ 2025-02-28 1/week @ 2025-03-07 9/week @ 2025-03-14

54 downloads per month
Used in 4 crates

MIT license

7KB

Satif

SAT solver interface

Dependencies

~12–23MB
~391K SLoC