varisat-dimacs
DIMCAS CNF parser and writer for the Varisat SAT solver
cargo add varisat-dimacs More in Rust crates
All 4,945- tokio-serial A serial port implementation for tokio
- network-interface Retrieve system's Network Interfaces on Linux, FreeBSD, macOS and Windows on a standarized manner
- jsonrpc-derive High level, typed wrapper for jsonrpc-core
- json-subscriber Customizable layer and subscriber for tracing that emits logs in JSON
- sp-externalities Substrate externalities abstraction
- varisat-formula Basic formula data types used by the Varisat SAT solver
- 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…