d4-arjun-sys
| Crates.io | d4-arjun-sys |
| lib.rs | d4-arjun-sys |
| version | 0.1.10 |
| created_at | 2024-11-15 07:45:50.998947+00 |
| updated_at | 2024-12-07 16:36:43.638965+00 |
| description | A Rust wrapper around Arjun for d4. |
| homepage | https://github.com/SoftVarE-Group/d4-oxide |
| repository | https://github.com/SoftVarE-Group/d4-oxide.git |
| max_upload_size | |
| id | 1448850 |
| size | 297,525 |
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)
- MPFR
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. |