varisat-lrat-0.2.2
- varisat-lrat 0.2.2
- Permalink
- Docs.rs crate page
- MIT/Apache-2.0
- Links
- Homepage
- Repository
- crates.io
- Source
- Owners
- jix
- Dependencies
- anyhow ^1.0.32 normal
  itoa ^0.4.4 normal
  leb128 ^0.2.4 normal
  varisat-checker =0.2.2 normal
  varisat-formula =0.2.2 normal
  proptest ^0.10.1 dev
  tempfile ^3.0.8 dev
  varisat =0.2.2 dev
  varisat-formula =0.2.2 dev
  anyhow ^1.0.32 build
- Versions
- 100% of the crate is documented
Platform
Feature flags

docs.rs

Rust

Crate varisat_lrat

varisat_lrat0.2.2

All Items

Crate Items

Structs

Crate varisat_lrat

Expand description

LRAT proof generation for the Varisat SAT solver.

Structs§

WriteLrat: Proof processor that generates an LRAT proof.