varisat
A CDCL based SAT solver (library)
- Category
- Rust crates
cargo add varisat Official docs outline
docs.rsExtra Credit builds an outline of varisat's docs the first time your work uses it. Until then, start at the official documentation.
More in Rust crates
All 4,945- ra-ap-rustc_lexer Automatically published version of the package `rustc_lexer` in the rust-lang/rust repository from commit 6a98084e4a21b04504c034dfc640e35e32
- varisat-internal-proof Internal proof format for the Varisat SAT solver
- varisat-internal-macros Internal macros for the Varisat SAT solver
- solana-precompile-error Solana PrecompileError type
- pingora-ketama Rust port of the nginx consistent hash function
- onc-rpc Open Network Computing / Sun RPC types and fast serialisation
- varisat-checker Proof checker for proofs generate by the Varisat SAT solver
- bevy_scene Provides scene functionality for Bevy Engine
- uuid-rng-internal Private implementation details of the uuid crate.
- w3f-bls Aggregate BLS-like signatures
- arrow2 Unofficial implementation of Apache Arrow spec in safe Rust
- positioned-io Reading and writing at an offset