varisat-lrat-0.2.2
- varisat-lrat 0.2.2
- Docs.rs crate page
- MIT/Apache-2.0
- Links
- 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

Rust

☰

Crate varisat_lrat

Version 0.2.2

See all varisat_lrat's items

Structs

?

[−][src]Crate varisat_lrat

LRAT proof generation for the Varisat SAT solver.

Structs

Proof processor that generates an LRAT proof.