#d4 #glucose #variables

sys d4-glucose-sys

A Rust wrapper around glucose for d4

3 releases

0.1.2 Nov 29, 2024
0.1.1 Nov 19, 2024
0.1.0 Nov 15, 2024

#12 in #d4

Download history 67/week @ 2024-11-09 179/week @ 2024-11-16 122/week @ 2024-11-23 124/week @ 2024-11-30

492 downloads per month
Used in d4-oxide

MIT license

110KB
2K SLoC

C++ 2K SLoC // 0.2% comments Rust 9 SLoC

d4-oxide

A Rust wrapper around d4.

Usage

Add it as a dependency to your Cargo.toml:

[dependencies]
d4-oxide = "0.5"

Requirements

These dependencies can be made available in a Nix development shell coming with this repository:

nix develop

Alternatively, 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 Contains the header files.
MTKAHYPAR_LIB Contains library files.

Dependencies

~0.8–1.2MB
~25K SLoC