#d4 #crypto-mini-sat #cryptominisat5

sys d4-cryptominisat-sys

A Rust wrapper around CryptoMiniSat for d4

1 unstable release

0.1.5 Dec 7, 2024
0.1.4 Dec 2, 2024
0.1.2 Nov 30, 2024

#16 in #d4

Download history 102/week @ 2024-11-11 177/week @ 2024-11-18 201/week @ 2024-11-25 371/week @ 2024-12-02 110/week @ 2024-12-09

866 downloads per month
Used in 3 crates

MIT license

4MB
102K SLoC

C++ 68K SLoC // 0.1% comments C 12K SLoC // 0.0% comments VB6 11K SLoC Python 7K SLoC // 0.2% comments Shell 2K SLoC // 0.1% comments Solidity 1K SLoC SQL 403 SLoC // 0.0% comments Forge Config 74 SLoC // 0.4% comments Rust 57 SLoC JavaScript 17 SLoC

d4-oxide

A Rust wrapper around d4.

Usage

Add it as a dependency to your Cargo.toml:

[dependencies]
d4-oxide = "0.5"

Requirements

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.

Dependencies