Function varisat::variables::initialize_solver_var

pub fn initialize_solver_var(
    ctx: Const<VariablesP, Mut<VsidsP, Mut<ImplGraphP, Mut<AssignmentP, Ref<Context>>>>>, 
    solver: Var, 
    global: Var
)

Initialize a newly allocated solver variable