GAMBA

GAMBA GAMBA è uno strumento per la semplificazione di espressioni booleano-aritmetiche miste MBA. GAMBA è l'acronimo di General Advanced Mixed Boolean Arithmetic simplifier. Utilizza il semplificatore algebrico lineare SiMBA per semplificare iterativamente le sottoespressioni lineari di una MBA d...