Use of graphics processing units for automatic synthesis of programs. (August 2015)