1 unstable release
| new 0.1.0 | Nov 15, 2024 |
|---|
#8 in #d4
Used in 2 crates
2.5MB
64K
SLoC
d4-oxide
A Rust wrapper around d4.
Usage
Add it as a dependency to your Cargo.toml:
[dependencies]
d4-oxide = "0.2"
A Rust wrapper around CryptoMiniSat for d4
| new 0.1.0 | Nov 15, 2024 |
|---|
#8 in #d4
Used in 2 crates
2.5MB
64K
SLoC
A Rust wrapper around d4.
Add it as a dependency to your Cargo.toml:
[dependencies]
d4-oxide = "0.2"