Function varisat::decision::make_decision

pub fn make_decision(
    ctx: Mut<VsidsP, Mut<TrailP, Mut<ImplGraphP, Mut<AssignmentP, Ref<Context>>>>>
) -> bool

Make a decision and enqueue it.

Returns false if no decision was made because all variables are assigned.