4 ms·
Could you run it on the GPU then? Or does it have a lot of branches?
by 0-_-0 7y ago
Could you run it on the GPU then? Or does it have a lot of branches?
- glangdale 7y agoIt 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.