Skip to main content

Var

elenchus_solver::sat

Type Alias Var 

Source 
pub type Var = u32;
Expand description

A boolean variable, identified by a dense index.