GAMBA

GAMBA GAMBA es una herramienta para la simplificación de expresiones mixtas booleanas-aritméticas MBAs. GAMBA es el acrónimo de General Advanced Mixed Boolean Arithmetic simplifier simplificador aritmético booleano mixto avanzado general. Utiliza el simplificador algebraico lineal SiMBA para...