Could you run it on the GPU then? Or does it have a lot of branches? | Hacker News

Hacker Timesnew | past | comments | ask | show | jobs | submit

		0-_-0 on Feb 13, 2020 \| parent \| context \| favorite \| on: 64 Core Threadripper 3990X CPU Review Could you run it on the GPU then? Or does it have a lot of branches?

glangdale on Feb 14, 2020 [–]

It uses an SMT solver (can use Z3, Yices or Boolector) all of which are very complex and branchy. So no GPGPU - maybe some specialist in SAT solving or SMT could build that one day, but that person would not be me.

Guidelines | FAQ | Lists | API | Security | Legal | Apply to YC | Contact