mis

在满足以下条件的情况下，允许以源代码和二进制形式进行重新分发和使用，无论是否进行修改：

源代码的重新分发必须保留上述版权声明、本条件列表和以下免责声明。

以二进制形式重新分发时，必须在分发时提供的文档和/或其他材料中复制上述版权声明、此条件列表以及以下免责声明。

未经特定事先书面许可，不得使用加利福尼亚大学、劳伦斯伯克利国家实验室、橡树岭国家实验室、国家可再生能源实验室、国家能源技术实验室、美国能源部的名称或其贡献者的名称来认可或推广由此软件衍生的产品。

本软件由版权持有人和贡献者“按原样”提供，不提供任何明示或暗示的担保，包括但不限于对适销性和特定用途适用性的暗示担保。在任何情况下，版权持有人或贡献者均不对任何直接、间接、附带、特殊、示范性或 consequential 损害（包括但不限于替代商品或服务的采购；使用、数据或利润的损失；或业务中断）负责，无论这些损害是如何引起的，无论是在合同、严格责任或侵权行为（包括疏忽或其他）的理论下，即使已被告知可能发生此类损害。

您没有任何义务向任何人提供任何错误修复、补丁或对源代码的功能、性能进行升级（“增强”）；但是，如果您选择公开或直接向劳伦斯伯克利国家实验室提供您的增强，而不对这些增强施加单独的书面许可协议，那么您在此授予以下许可：非独占的、免版税的永久许可，以安装、使用、修改、准备衍生作品、并入其他计算机软件、分发和再许可这些增强或其衍生作品，以二进制和源代码形式。

Functions

compute_infeasibility_explanation(model, solver)

此函数尝试确定为什么给定的模型不可行。