GPU accelerated SMT constraint solving (2021)