fflonk-cuda 0.152.11

CUDA implementation of the fflonk prover
docs.rs failed to build fflonk-cuda-0.152.11
Please check the build logs for more information.
See Builds for ideas on how to fix a failed build, or Metadata for how to configure docs.rs builds.
If you believe this is docs.rs' fault, open an issue.