Function varisat::variables::remove_solver_var

pub fn remove_solver_var<'a>(
    ctx: Mut<VsidsP, Mut<VariablesP, Mut<SolverStateP, Mut<ProofP<'a>, Ref<Context<'a>>>>>>, 
    solver: Var
)

Remove a solver var.

If the variable is isolated and hidden, the global variable is also removed.