Title: A review of industrial constraint solving tools