Aquad allows comparison of cases/files by "logical minimization".
Aquad permite a comparación de casos ou ficheiros a través da minimización lóxica.