ai-gym Welcome to ai-gym! Be aware, we say AI, meaning abstract interpretation not artificial intelligence. This repository provides the solutions for each practical exercises in Principles of Abstract Interpretation.