标题： ninfty：一个用于同伦组合学的软件包 显示英文标题

标题： ninfty: A software package for homotopical combinatorics

摘要： 我们介绍ninfty，这是一个以头文件形式提供的C++库，根据麻省理工学院开源许可（MIT Open Source License）发布，旨在研究同伦组合学中出现的枚举问题。ninfty代码库还包含一个文件夹，其中包含许多常见有限群的数据文件。此外，还包括可以用于生成更多有限群输入数据的Sage代码，以及用于生成抽象格输入数据的Sage代码，这些抽象格可能并非来自某个群的子群格。 显示英文摘要

摘要： We introduce ninfty, a header-only C++ library distributed under an MIT Open Source License designed for the study of enumeration problems arising in homotopical combinatorics. The ninfty repository moreover contains a folder with data files for many common finite groups. This is in addition to Sage code which can be used to generate input data for further finite groups, and Sage code for generating input data for abstract lattices which may not arise at the subgroup lattice of a group.