Sto cercando di risolvere un problema SAT con 25k clausole 5k variabili. Dato che funziona da un'ora (precosat) e vorrei risolverne di più grandi in seguito, sto cercando un solutore SAT multi-core.
Dato che sembrano esserci molti solutori di SAT, sono abbastanza perso.
Qualcuno potrebbe indicarmi il migliore per il mio caso?
Sarei anche felice se qualcuno potesse darmi il tempo approssimativo (se possibile).