GitHub repository: sstewart2012/MiniSAT-C
Primary language: C
Description: This is a work-in-progress, and I will be making a lot of changes to this in the near future. This will include unit tests, better documented code, etc.