search

muhos / ParaFROST

A Parallel SAT Solver with GPU Accelerated Inprocessing
GNU General Public License v3.0
77 stars 6 forks source link

Unable to use multiple GPUs #8

Open na3na3na opened 7 months ago

na3na3na commented 7 months ago

When running ParaFROST on a multi-GPU setup, it detects the multiple GPU in the build output, however, when i run a SAT instance, i see that only 1 GPU is in use. Is there some specific option to activate multi-GPU solving?

muhos commented 7 months ago

Multiple GPUs are not supported at the moment but it's on my to-do list.