search

arminbiere / kissat

MIT License
452 stars 85 forks source link

How do I make kissat use more CPU resources/time? #28

Closed chexo3 closed 2 years ago

chexo3 commented 2 years ago

I want to make/let kissat use more resources to try and find solutions quicker. Is there a way to do this?

arminbiere commented 2 years ago

It seems you want to use a parallel solver then? There are some parallel solver in the competition which use Kissat. My own parallel solver Gimsatul is independent from Kissat (and slightly slower at least in sequential mode).

chexo3 commented 2 years ago

Ah, I wasn't aware kissat did things fully sequentially. I would've thought it'd be able to use multiple threads. But I also know very little about this field, I'm just using kissat to accelerate a Python program (alternative is using a solver written in Python also, but this program can also call external solvers)

I'm using the Windows binaries someone else made for kissat, is there something similar for Gimsatul?

arminbiere commented 2 years ago

So this became a Gimsatul issue and I am closing it.