麻省理工学院许可证版权所有（c）2010-2018 Armin Biere，Johannes Kepler University Linz，Austria特此免费向任何获得副本的人授予许可本软件和相关文档文件（“软件”）的在软件中不受限制，包括但不限于权利使用、复制、修改、合并、发布、分发、再授权和/或销售软件的副本，并允许使用软件的人员根据以下条件提供：上述版权声明和本许可声明应包含在软件的副本或实质部分。本软件按“原样”提供，不提供任何形式的明示或暗示，包括但不限于适销性保证，特定用途的适用性和非侵权性。在任何情况下作者或版权持有人对任何索赔、损害或其他责任责任，无论是合同诉讼、侵权诉讼还是其他诉讼，由，不属于或与软件有关，或在软件。