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

#160 in #interface

Download history 136/week @ 2024-12-02 48/week @ 2024-12-09 17/week @ 2024-12-16 6/week @ 2025-01-06 211/week @ 2025-01-13 31/week @ 2025-01-20 3/week @ 2025-01-27 107/week @ 2025-02-03 66/week @ 2025-02-10 369/week @ 2025-02-17 37/week @ 2025-02-24 30/week @ 2025-03-03 5/week @ 2025-03-10 5/week @ 2025-03-17

92 downloads per month
Used in 4 crates

MIT license

7KB

Satif

SAT solver interface

Dependencies

~12–22MB
~391K SLoC