Elixir + Erlang bindings for the PicoSAT solver - View it on GitHub