automated-reasoning-ss26