varisat-internal-macros
Internal macros for the Varisat SAT solver
cargo add varisat-internal-macros More in Rust crates
All 4,945- 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…
- varisat-internal-proof Internal proof format 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
- bevy_scene Provides scene functionality for Bevy Engine