Nice post, I wasn't aware that there were so many dedicated constraint solving systems.