GitHub repository: mitwilso033/klee-triangle
Primary language: LLVM
Description: Trying to get a/b done for part 2