Show HN: Distributed SAT solver in Elixir

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