Erlang-Sat-Solver. A novel distributed Sat Solver written in Erlang.

github.com/fmstephe/Erlang-Sat-Solver

Problem

Audience

Updates

No founder updates yet. Check back soon.