GitHub repository: A2-Collaboration/a2GoAT
Primary language: C++
Description: Generation of Analysis Trees