GitHub repository: kwaters/exactcover
Primary language: C
Description: Exact Cover solver for Python