automated-reasoning-ss24