fix(CMakeLists.txt): use libunwind only for 64-bit linux
feat(realpaver/rp_constraint): add delta
fix(dsolver/icp_solver): remove get_var_split_delta1
fix: constraint_width
checkpoint