Function varisat::prop::assignment::backtrack

pub fn backtrack(
    ctx: Mut<VsidsP, Mut<TrailP, Mut<AssignmentP, Ref<Context>>>>, 
    level: usize
)

Undo all assignments in decision levels deeper than the given level.