varisat-internal-proof

Extra Credit builds an outline of varisat-internal-proof's docs the first time your work uses it. Until then, start at the official documentation.

• icu_casemap Unicode case mapping and folding algorithms
• scoped-futures A utility crate for imposing upper bounds on Future lifetimes.
• schema_registry_converter Encode/decode Avro, Protobuf and JSON Schema data from/to Kafka using the Confluent Schema Registry
• datafusion-functions-array Array Function packages for the DataFusion query engine
• zbus-lockstep Keep types in lockstep with DBus XML definitions
• ra-ap-rustc_lexer Automatically published version of the package `rustc_lexer` in the rust-lang/rust repository from commit 6a98084e4a21b04504c034dfc640e35e32
• 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 A CDCL based SAT solver (library)
• varisat-checker Proof checker for proofs generate by the Varisat SAT solver