oxiz-solver-0.1.3
- oxiz-solver 0.1.3
- Permalink
- Docs.rs crate page
- Apache-2.0
- Links
- Repository
- crates.io
- Source
- Owners
- cool-japan
- Dependencies
- lasso ^0.7 normal
  num-bigint ^0.4 normal
  num-rational ^0.4 normal
  num-traits ^0.2 normal
  oxiz-core ^0.1.3 normal
  oxiz-sat ^0.1.3 normal
  oxiz-theories ^0.1.3 normal
  rayon ^1.11 normal
  rustc-hash ^2.1 normal
  smallvec ^1.15 normal
  tracing ^0.1 normal
  criterion ^0.7 dev
  proptest ^1.10 dev
- Versions
- 100% of the crate is documented
Platform
Feature flags

docs.rs

Rust

Skip to main content

Var

oxiz_solver0.1.3

In oxiz_solver::conflict::implication_graph

oxiz_solver::conflict::implication_graph

Type Alias Var

pub type Var = u32;

Expand description

Variable type (absolute value of literal).