[philzook]

https://github.com/domschrei/mallob I've seen talks by AWS where they claim that distributed SAT solving is very effective.

Do you need it to be parallel or just fast? My impression is that at the single machine level, it's hard to beat kissat and the CPU or GPU parallelism is not that useful. https://github.com/arminbiere/kissat