varisat-formula
Basic formula data types used by the Varisat SAT solver
- Category
- Rust crates
cargo add varisat-formula Official docs outline
docs.rsExtra Credit builds an outline of varisat-formula's docs the first time your work uses it. Until then, start at the official documentation.
More in Rust crates
All 4,945- solana-bn254 Solana BN254
- 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-dimacs DIMCAS CNF parser and writer for 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