Don't have Telegram yet? Try it now!
https://hgpu.org/?p=12667
An OpenCL implementation of a forward sampling algorithm for CP-logic