mutithread funtion

[cryptolikeman]

i want to know, whether kissat can only run in one cpu core , as there is no parameter controls the number of threads set by the user. if is, please tell me, if exists some control methods, tell me too , thank you!

[m-fleury]

Kissat is not multithreaded.

For multithreaded solver, you can look at https://satcompetition.github.io/2024/results.html. These parallel SAT solvers use a portfolio of SAT solvers (including Kissat).