fix(opensmt/smtsolvers/SMTConfig): fix nra_json_out_name
feat(realpaver/rp_constraint): add delta
fix(dsolver/icp_solver): remove get_var_split_delta1
fix: constraint_width
checkpoint