Function varisat::variables::solver_from_user_lits

pub fn solver_from_user_lits<'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>>>>>>>>>>>>, 
    solver_lits: &mut Vec<Lit>, 
    user_lits: &[Lit], 
    require_sampling: bool
)

Maps a slice of user lits to solver lits using solver_from_user.