P2P-Distributed-Sat-Solver is a project mainly written in Java, it's free.
A novel peer to peer approach to combinatorial search, demonstrated with a Sat Solver in Java.
This is an initial edit of my project's readme. Just testing whether I can commit and push out to github.