wanzyrowan/SAT-Solver-in-Erlang not found