GitHub repository: GridSAT/NDP-5
Primary language: C++
Description: Non-deterministic Processor (NDP) - Parallel SAT-Solver with OpenMPI for Unlimited Scalability