varisat-internal-proof-0.2.2
- varisat-internal-proof 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
  
  varisat-formula =0.2.2 normal
  
  proptest ^0.10.1 dev
- Versions
- 53.19% of the crate is documented
Platform
Feature flags

Rust

varisat_internal_proof0.2.2

varisat_internal_proof

Type Alias ClauseHash

pub type ClauseHash = u64;