Constant boolector_sys::BTOR_OPT_SAT_ENGINE_CADICAL_FREEZE

source · 
pub const BTOR_OPT_SAT_ENGINE_CADICAL_FREEZE: BtorOption = 86;