Function varisat::context::config_changed

pub fn config_changed(
    ctx: Const<SolverConfigP, Mut<ClauseActivityP, Mut<VsidsP, Ref<Context>>>>, 
    _update: &SolverConfigUpdate
)

The solver configuration has changed.