Function clingo_sys::clingo_propagate_init_number_of_threads

pub unsafe extern "C" fn clingo_propagate_init_number_of_threads(
    init: *const clingo_propagate_init_t
) -> c_int

Get the number of threads used in subsequent solving.

@param[in] init the target @return the number of threads @see clingo_propagate_control_thread_id()