/Erlang-Sat-Solver

A novel distributed Sat Solver written in Erlang.

Primary LanguageErlang

Watchers