fpsmt_gpu
fpsmt_gpu copied to clipboard

Published 20 hours ago •

→

Metadata

Solving floating point SMT constraints on a GPU

Readme
Issues

To use:

$ ./generate.sh readme.smt2
$ bin/smt-readme-smt2 
Padding varsize from 16 to 16
Launching kernel on GPU0...
Padding varsize from 16 to 16
Launching kernel on GPU1...
Waiting on GPUs...
Search completed on device 0
Found a satisfying assignment on device 0 thread 39984:
08ff15d56d64377e0c66b83009bbe3ee