GitHub repository: mfarif/foobar
Primary language: SMT
Created: 2020-12-31T03:22:07Z
Description: Symbolic encoding of a C program.