Lib.rs

› Science › Math › Satif
#solver #sat #sat-solver #ca-di-ca-l

bin+lib satif-cadical

by Yuheng Su

10 releases

0.1.9 Feb 26, 2025
0.1.8 Feb 19, 2025
0.1.4 Jan 21, 2025
0.1.3 Dec 22, 2024

#968 in Math

Download history 275/week @ 2024-12-04 183/week @ 2024-12-11 167/week @ 2024-12-18 25/week @ 2024-12-25 10/week @ 2025-01-01 25/week @ 2025-01-08 83/week @ 2025-01-15 18/week @ 2025-01-22 86/week @ 2025-01-29 274/week @ 2025-02-05 78/week @ 2025-02-12 139/week @ 2025-02-19 196/week @ 2025-02-26

715 downloads per month
Used in ric3

MIT license

1.5MB
39K SLoC

C++ 32K SLoC // 0.1% comments C 4.5K SLoC // 0.1% comments Shell 1.5K SLoC // 0.1% comments Solidity 1K SLoC Rust 549 SLoC // 0.1% comments

Rust wrapper for the CaDiCaL SAT solver

Dependencies

~13–23MB
~414K SLoC