ALAMO 软件新版本 26.5.27 发布说明

本次为一次主要版本发布。ALAMO 现已支持用户确保彻底确定性的行为。构建系统已完成现代化更新，分发包中现包含所有捆绑组件的 LICENSES 和 THIRD-PARTY-LICENSES 文件。

新增功能

• 新增基于所用工作单元（wuused）的确定性终止限制，综合计数 OLR、CLR、MIP 及 NLP 子问题。工作单元计数现已输出到追踪文件中。

• 自适应采样现可识别整数值输入（XISINT）：当存在整数变量时，自适应采样将在整数变量的格点上进行。

缺陷修正

• 修正了终止程序中的一个错误：在早期失败且无结果的情况下，该错误可能导致总时间为负值。

平台与打包

• 所有库现均采用位置无关代码编译。

• 分发包中已包含 LICENSES 和 THIRD-PARTY-LICENSES 文件。

• 清理了构建与打包脚本；补充了缺失的 ARM 平台可执行文件。