Constant boolector_sys::BTOR_OPT_SAT_ENGINE_N_THREADS

source · 
pub const BTOR_OPT_SAT_ENGINE_N_THREADS: BtorOption = 87;