Lib.rs

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

bin+lib satif-cadical

by Yuheng Su

9 releases

new 0.1.8 Feb 19, 2025
0.1.7 Feb 9, 2025
0.1.4 Jan 21, 2025
0.1.3 Dec 22, 2024

#977 in Math

Download history 250/week @ 2024-12-03 178/week @ 2024-12-10 192/week @ 2024-12-17 30/week @ 2024-12-24 9/week @ 2024-12-31 22/week @ 2025-01-07 4/week @ 2025-01-14 101/week @ 2025-01-21 58/week @ 2025-01-28 298/week @ 2025-02-04 99/week @ 2025-02-11

556 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 548 SLoC // 0.1% comments

Rust wrapper for the CaDiCaL SAT solver

Dependencies

~12–23MB
~405K SLoC