¡Nueva entrada en nuestro blog! Repasamos una implementación completa de Rust del Algoritmo 6 del artículo BDDT, combinando optimizaciones SVO y Eq-Poly en un único provedor funcional.