varisat-formula-0.2.2
- varisat-formula 0.2.2
- Permalink
- Docs.rs crate page
- MIT/Apache-2.0
- Links
- Repository
- crates.io
- Source
- Owners
- jix
- Dependencies
- proptest ^0.10.1 normal
  rand ^0.7.3 normal
  proptest ^0.10.1 dev
  rand ^0.7.3 dev
- Versions
- 95.74% of the crate is documented
Platform
Feature flags

Rust

☰

Type Definition LitIdx

varisat_formula::lit

?

[−][src]Type Definition varisat_formula::lit::LitIdx

type LitIdx = u32;

The backing type used to represent literals and variables.