Function varisat::variables::solver_from_user

pub fn solver_from_user<'a>(
    ctx: Mut<WatchlistsP, Mut<VsidsP, Mut<VariablesP, Mut<TmpFlagsP, Mut<SolverStateP, Mut<ProofP<'a>, Mut<ImplGraphP, Mut<BinaryClausesP, Mut<AssignmentP, Mut<AnalyzeConflictP, Ref<Context<'a>>>>>>>>>>>>, 
    user: Var, 
    require_sampling: bool
) -> Var

Maps a user variable to a solver variable.

Allocates global and solver variables as requried.