new 0.1.1	Nov 19, 2024
0.1.0	Nov 15, 2024

#13 in #d4

240 downloads per month
Used in 3 crates (via d4-cryptominisat-sys)

MIT license

1.5MB
39K SLoC

d4-oxide

A Rust wrapper around d4.

Usage

Add it as a dependency to your Cargo.toml:

[dependencies]
d4-oxide = "0.2"

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.