Encontrar secuencias biológicas finitas óptimas sobre alfabetos finitos: la caja de herramientas OptiFin