Constant boolector_sys::BTOR_OPT_CHK_UNCONSTRAINED

source · 
pub const BTOR_OPT_CHK_UNCONSTRAINED: BtorOption = 83;