pub const BTOR_OPT_SAT_ENGINE_N_THREADS: BtorOption = 87;