d4-sbva-sys
| Crates.io | d4-sbva-sys |
| lib.rs | d4-sbva-sys |
| version | 0.1.2 |
| created_at | 2024-11-15 07:42:23.664363+00 |
| updated_at | 2024-12-01 14:39:26.859934+00 |
| description | A Rust wrapper around SBVA for d4. |
| homepage | https://github.com/SoftVarE-Group/d4-oxide |
| repository | https://github.com/SoftVarE-Group/d4-oxide.git |
| max_upload_size | |
| id | 1448844 |
| size | 15,823,084 |
Jan Baudisch (uulm-janbaudisch)
documentation
README
d4-oxide
A Rust wrapper around d4.
Usage
Add it as a dependency to your Cargo.toml:
[dependencies]
d4-oxide = "0.5"
Requirements
- Mt-KaHyPar
- Boost
- GMP (with C++ bindings)
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. |