GitHub repository: moyix/fpsmt_gpu
Primary language: C++
Created: 2020-11-22T22:29:30Z
Description: Solving floating point SMT constraints on a GPU