¡Nueva publicación en nuestro blog! Hacemos un recorrido por una implementación completa en Rust del Algoritmo 6 del documento BDDT, combinando optimizaciones SVO y Eq-Poly en un único probador funcional.