1 unstable release
| new 0.1.0 | Nov 15, 2024 |
|---|
#9 in #d4
Used in 3 crates
(via d4-cryptominisat-sys)
54KB
1.5K
SLoC
d4-oxide
A Rust wrapper around d4.
Usage
Add it as a dependency to your Cargo.toml:
[dependencies]
d4-oxide = "0.2"
Requirements
Dependencies
~0–325KB