d4-glucose-sys
| Crates.io | d4-glucose-sys |
| lib.rs | d4-glucose-sys |
| version | 0.1.2 |
| created_at | 2024-11-15 07:43:26.616629+00 |
| updated_at | 2024-11-29 22:26:36.090187+00 |
| description | A Rust wrapper around glucose for d4. |
| homepage | https://github.com/SoftVarE-Group/d4-oxide |
| repository | https://github.com/SoftVarE-Group/d4-oxide.git |
| max_upload_size | |
| id | 1448846 |
| size | 221,357 |
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. |