Function rustsat_kissat::call_instead_of_abort

source · 
pub fn call_instead_of_abort(abort: Option<extern "C" fn()>)
Expand description

Changes Kissat’s abort behaviour to call the given function instead