Lib.rs

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

bin+lib satif-cadical

by Yuheng Su

4 releases

0.1.3 Dec 22, 2024
0.1.2 Dec 16, 2024
0.1.1 Dec 7, 2024
0.1.0 Dec 7, 2024

#827 in Math

Download history 275/week @ 2024-12-04 183/week @ 2024-12-11 167/week @ 2024-12-18 25/week @ 2024-12-25 16/week @ 2025-01-01

416 downloads per month
Used in ric3

MIT license

1.5MB
38K SLoC

C++ 31K SLoC // 0.1% comments C 4.5K SLoC // 0.1% comments Shell 1.5K SLoC // 0.1% comments Solidity 1K SLoC Rust 553 SLoC // 0.1% comments

Rust wrapper for the CaDiCaL SAT solver

Dependencies

~3–12MB
~163K SLoC