varisat-checker-0.2.2
- varisat-checker 0.2.2
- 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

☰

Module internal

Traits

varisat_checker

?

[−][src]Module varisat_checker::internal

Varisat internal interface used for on-the-fly checking.

Traits

Varisat internal interface used for on-the-fly checking.