A novel distributed Sat Solver written in Erlang. - View it on GitHub