Otimizador de Álgebra Linear com Saturação de Igualdade usando Egglog
2025-09-16
Este tutorial mostra como construir um otimizador de álgebra linear usando Egglog. Começando com expressões aritméticas simples (constantes, variáveis, adição, multiplicação), ele utiliza a saturação de igualdade para construir regras de otimização (comutatividade, associatividade, dobra de constantes). O tutorial detalha a definição de conversores, a escrita de regras de reescrita e o uso de `egraph.run()` para otimização, verificando finalmente a equivalência de expressões, como a equivalência de 2 * (x * 3) e 6 * x.