#d4 #cadical #ca-di-ca-l

sys d4-cadical-sys

A Rust wrapper around CaDiCaL for d4

2 releases

new 0.1.1 Nov 19, 2024
0.1.0 Nov 15, 2024

#5 in #d4

Download history 220/week @ 2024-11-14

220 downloads per month
Used in 4 crates (2 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