- 文档、支持和问题 * 贡献 * 下载和安装 Choco-solver 是一个开源的 Java 库，用于约束编程。 当前稳定版本是 6.0.1 (2026 年 5 月 21 日)。 Choco-solver 包括： - 各种类型的变量（整数、布尔值、集合、图形和实数） - 各种先进的约束（alldifferent、count、nvalues 等） - 各种搜索策略，从基本的（first_fail、smallest 等）到最复杂的（基于影响和基于活动的搜索） - 基于解释的引擎，可实现基于冲突的回跳、动态回溯和路径修复
此外,还提供了与搜索循环交互的功能,有助于建模的工厂,许多样本等。 Choco-solver 遵循 BSD 3 条款许可协议 (Copyright (c) 1999-2026, IMT Atlantique)。
任何人都可以为项目做出贡献,从源代码到文档。为了简化流程,我们建立了一个[贡献指南]。