Lib.rs

› Algorithms
#bindings #automatic #sat #solver #generated #generated-bindings #cadical

sys cadical-sys

Unsafe system-level automatically generated bindings to the CaDiCaL SAT solver using bindgen

Owned by Andrew Luka.

1 unstable release

0.1.0 Oct 30, 2024

#2135 in Algorithms

Download history 119/week @ 2024-10-29 15/week @ 2024-11-05

134 downloads per month

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 168 SLoC // 0.4% comments

cadical-sys

Dependencies

~0–2.1MB
~43K SLoC