积分下载网站源码java-choco-solver:用于约束编程的开源Java库

积分下载网站源码java Choco-solver 是一个用于约束编程的开源 Java 库。 当前稳定版本为 4.10.6（2020 年 12 月 11 日）。 Choco-solver 附带： 各种类型的变量（整数、布尔值、集合、图形和实数）， 各种最先进的约束（alldifferent、count、nvalues 等）， 各种搜索策略，从基本的（first_fail、smallest 等）到最复杂的（基于影响和基于活动的搜索）， 基于解释的引擎，支持基于冲突的回跳、动态回溯和路径修复， 而且，与搜索循环交互的设施、帮助建模的工厂、许多样本等。 Choco-solver 在 BSD 4-Clause License（版权 (c) 1999-2020，IMT Atlantique）下分发。 接触： 概述 // 1. Create a Model Model model = new Model ( " my first problem " ); // 2. Create variables IntVar x = model . intVar( " X " , 0 , 5 ); IntVa