fix(CMakeLists.txt): clean up external dir structure; use NDEBUG for gflag
feat(realpaver/rp_constraint): add delta
fix(dsolver/icp_solver): remove get_var_split_delta1
fix: constraint_width
checkpoint