Constant boolector_sys::BTOR_OPT_SAT_ENGINE_LGL_FORK

source · 
pub const BTOR_OPT_SAT_ENGINE_LGL_FORK: BtorOption = 85;