Hi, I wrote a distributed SAT solver in Elixir to get a feel of the language, perhaps someone out there might find this interesting. I really don't know if this can be a economic approach to SAT solving.
https://github.com/roehst/elisat
2 comments
Show HN: Distributed SAT solver in Elixir | Heykuki News