#d4 #gmp #bindings #header #cadical #mt-ka-hy-par #ca-di-ca-l

sys d4-cadical-sys

A Rust wrapper around CaDiCaL for d4

2 releases

0.1.1 Nov 19, 2024
0.1.0 Nov 15, 2024

#1862 in Math

Download history 120/week @ 2024-11-27 177/week @ 2024-12-04 60/week @ 2024-12-11 20/week @ 2024-12-18 10/week @ 2024-12-25 131/week @ 2025-01-01 50/week @ 2025-01-08 3/week @ 2025-01-15 143/week @ 2025-01-22 40/week @ 2025-01-29 6/week @ 2025-02-05 21/week @ 2025-02-26 21/week @ 2025-03-05 10/week @ 2025-03-12

52 downloads per month
Used in 5 crates (3 directly)

MIT license

1.5MB
37K 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 5 SLoC

d4-oxide

A Rust wrapper around d4.

Usage

Add it as a dependency to your Cargo.toml:

[dependencies]
d4-oxide = "0.2"

Requirements

To point to the directories containing Mt-KaHyPar, the following environment variables can be used:

Variable Meaning
MTKAHYPAR_ROOT Contains include and lib or lib64 subdirectories with the corresponding content.
MTKAHYPAR_INCLUDE_DIR Contains the header files.
MTKAHYPAR_LIB_DIR Contains library files.

Dependencies