Function varisat::assumptions::set_assumptions

pub fn set_assumptions<'a>(
    ctx: Mut<WatchlistsP, Mut<VsidsP, Mut<VariablesP, Mut<TrailP, Mut<TmpFlagsP, Mut<SolverStateP, Mut<ProofP<'a>, Mut<ImplGraphP, Mut<BinaryClausesP, Mut<AssumptionsP, Mut<AssignmentP, Mut<AnalyzeConflictP, Ref<Context<'a>>>>>>>>>>>>>>, 
    user_assumptions: &[Lit]
)

Change the currently active assumptions.

The input uses user variable names.