Abordamos el problema del diseño de sistemas evolutivos (ESD) mediante la programación de conjuntos de respuestas módulo restricciones de diferencia (AMT). El objetivo de este enfoque de diseño es sintetizar nuevas variantes de productos o generaciones a partir de productos existentes. Comenzamos formalizando el problema subyacente de síntesis del sistema y el proceso de exploración del espacio de diseño, que consiste en encontrar el frente de Pareto con respecto a la latencia, costo, energía y medidas de similitud entre los dos diseños. Luego presentamos codificaciones basadas en AMT para capturar todos estos aspectos. La idea es utilizar ASP simple para la detección y resolución de conflictos y para el enrutamiento, y utilizar restricciones de diferencia para la programación. Además, proponemos un nuevo enfoque para expresar la similitud que utilizamos en tres niveles alternativos de exploración del espacio de diseño basados en AMT, es decir, a niveles estratégicos, heurísticos y objetivos, que se realizan para guiar la exploración hacia diseños de alto interés. Por último, pero no menos importante, evaluamos sistemáticamente las técnicas emergentes empíricamente e identificamos las técnicas AMT más prometedoras.