GitHub repository: zzzbatmand/witness-trainer
Primary language: C++
Description: Trainer for The Witness