Closed balqaasem closed 7 months ago
It supports both x86 CPUs and Nvidia CUDA GPUs for accelerated proofs.
It supports both x86 CPUs and Nvidia CUDA GPUs for accelerated proofs.