Constant boolector_sys::BTOR_SAT_ENGINE_CADICAL

source · 
pub const BTOR_SAT_ENGINE_CADICAL: BtorOptSatEngine = 3;