GitHub repository: wadoon/codespaces-z3
Primary language: Python
Description: Explore z3 with Codespaces