GitHub repository: GridSAT/NDP-blueprint
Primary language: Python
Description: Non-Deterministic Processor (NDP) - efficient parallel SAT-solver