Lib.rs

› Algorithms
#sat-solver #sat #interface

satif

SAT solver interface

by Yuheng Su

8 releases

new 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

#892 in Algorithms

Download history 2/week @ 2024-10-29 3/week @ 2024-11-05 5/week @ 2024-11-19 1/week @ 2024-11-26 141/week @ 2024-12-03 46/week @ 2024-12-10 13/week @ 2024-12-17 7/week @ 2025-01-07 224/week @ 2025-01-14 17/week @ 2025-01-21 5/week @ 2025-01-28 136/week @ 2025-02-04 40/week @ 2025-02-11

212 downloads per month
Used in 4 crates

MIT license

7KB

Satif

SAT solver interface

Dependencies

~0–11MB
~123K SLoC