A novel peer to peer approach to combinatorial search, demonstrated with a Sat Solver in Java.
Why do you think that https://github.com/woutdp/geoquest is a good alternative to P2P-Distributed-Sat-Solver
A novel peer to peer approach to combinatorial search, demonstrated with a Sat Solver in Java.
Why do you think that https://github.com/woutdp/geoquest is a good alternative to P2P-Distributed-Sat-Solver