Van Overveld-style (geometric/numeric) constraint relaxation in Racket. - View it on GitHub