GitHub repository: tyilo/z4
Primary language: Python
Description: z3++