P2P-Distributed-Sat-Solver. A novel peer to peer approach to combinatorial search, demonstrated with a Sat Solver in Java.
github.com/fmstephe/P2P-Distributed-Sat-Solver
Problem
Audience
Updates
No founder updates yet. Check back soon.
Problem
Audience