Constant boolector_sys::BTOR_OPT_FUN_LAZY_SYNTHESIZE

source · 
pub const BTOR_OPT_FUN_LAZY_SYNTHESIZE: BtorOption = 31;