Skip to main content

Var

logicaffeine_proof::cdcl

Type Alias Var 

Source 
pub type Var = u32;
Expand description

A propositional variable: an index 0..num_vars.