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