bool2cnf
transfer boolean expression to dimacs directly
- Category
- Rust crates
cargo add bool2cnf Official docs outline
docs.rsExtra Credit builds an outline of bool2cnf's docs the first time your work uses it. Until then, start at the official documentation.
More in Rust crates
All 4,945- async-stripe API bindings for the Stripe HTTP API
- cnfgen Generate DIMACS CNF formula from operations
- g2gen A macro to create types that implement fast finite field arithmetic.
- ambassador Trait implementation delegation via procedural macros
- iref-core Uniform & Internationalized Resource Identifiers (URIs/IRIs), borrowed and owned.
- linebender_resource_handle Raw resource handle for immutable blobs with dynamic lifetimes.
- chalk-ir Chalk's internal representation of types, goals, and clauses
- test-context-macros Macro crate for test-context
- pprof2 An internal perf tools for rust programs.
- leptos_macro view macro for the Leptos web framework.
- bolero-afl afl plugin for bolero
- bolero-honggfuzz honggfuzz plugin for bolero