GitHub repository: FelixPe/picosat_elixir
Description: Elixir + Erlang bindings for the PicoSAT solver