GitHub repository: JacobAdams101/BOTCT
Primary language: C
Description: A Solver for BOTCT