Function varisat::decision::initialize_var

pub fn initialize_var(ctx: Mut<VsidsP, Ref<Context>>, var: Var, available: bool)

Initialize decision heuristics for a new variable.