O processo de automação de bibliotecas e disponibilização de um catálogo digital online requer a implantação e uso de um software para automação de bibliotecas. Qual dos softwares abaixo não é um software de automação de bibliotecas?