4 ms·A Distributed Sat-Solver written in Java with networking in Erlang. Fun but no $$$by fmstephe 16y agoA Distributed Sat-Solver written in Java with networking in Erlang. Fun but no $$$