automated-reasoning-ss2024-project