Constant boolector_sys::BTOR_OPT_PRINT_DIMACS

source · 
pub const BTOR_OPT_PRINT_DIMACS: BtorOption = 34;