automated-reasoning-ss25