varisat-checker-0.2.2
- varisat-checker 0.2.2
- Permalink
- Docs.rs crate page
- MIT/Apache-2.0
- Links
- Repository
- crates.io
- Source
- Owners
- jix
- Dependencies
- anyhow ^1.0.32 normal
  
  log ^0.4.6 normal
  
  partial_ref ^0.3.1 normal
  
  rustc-hash ^1.1.0 normal
  
  smallvec ^1.4.2 normal
  
  thiserror ^1.0.20 normal
  
  varisat-dimacs =0.2.2 normal
  
  varisat-formula =0.2.2 normal
  
  varisat-internal-proof =0.2.2 normal
  
  proptest ^0.10.1 dev
  
  varisat-formula =0.2.2 dev
- Versions
- 32.04% of the crate is documented
Platform
Feature flags

Rust

☰

Crate varisat_checker

Version 0.2.2

Back to index

?

[−] List of all items

Structs

CheckedUserVar
Checker
CheckerData
ResolutionPropagations

Enums

CheckedProofStep
CheckedSamplingMode
CheckerError
ProofTranscriptStep

Traits

ProofProcessor
ProofTranscriptProcessor
internal::SelfChecker