cnfgen

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

• rustlogic-march1917 A Rust Library for basic parsing and handling of logical formulas(forked from coastalwhite)
• strfmt strfmt: rust library for formatting dynamic strings
• os_display Display strings in a safe platform-appropriate way
• naga-types Common types for naga and wgpu
• g2p A crate to create types that implement fast finite field arithmetic.
• async-stripe API bindings for the Stripe HTTP API
• 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.
• bool2cnf transfer boolean expression to dimacs directly
• chalk-ir Chalk's internal representation of types, goals, and clauses