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