Lib.rs

› Science › Math › Satif
#solver #cadical #satif-cadical

bin+lib satif-cadical

by Yuheng Su

11 releases

Uses new Rust 2024

0.1.10 Apr 1, 2025
0.1.9 Feb 26, 2025
0.1.4 Jan 21, 2025
0.1.3 Dec 22, 2024

#1297 in Math

Download history 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 3/week @ 2025-03-05 9/week @ 2025-03-12 68/week @ 2025-03-26 66/week @ 2025-04-02

144 downloads per month
Used in ric3

MIT license

1.5MB
40K 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
~412K SLoC