d4-cadical-sys
| Crates.io | d4-cadical-sys |
| lib.rs | d4-cadical-sys |
| version | 0.1.1 |
| created_at | 2024-11-15 07:43:57.914601+00 |
| updated_at | 2024-11-19 14:29:04.622126+00 |
| description | A Rust wrapper around CaDiCaL for d4. |
| homepage | https://github.com/SoftVarE-Group/d4-oxide |
| repository | https://github.com/SoftVarE-Group/d4-oxide.git |
| max_upload_size | |
| id | 1448847 |
| size | 2,827,495 |
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.2"
Requirements
- Mt-KaHyPar
- GMP (with C++ bindings)
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. |