jcsp

jcsp 是一个基于现代 Java（21+）的约束满足问题（CSP）求解库，采用纯函数式和不可变设计，克服了传统求解器依赖全局可变状态和命令式跟踪栈的局限。其核心特性包括：深度不可变对象以确保线程安全；并行局部搜索，利用多核 CPU 加速求解；延迟流式 API，允许通过标准 Java Stream 管道进行增量式解决方案处理。该库支持多种求解策略，如回溯搜索、树分解和分支定界优化。它还提供丰富的预处理一致性检查，包括多种全局约束（如 AllDiff、Cumulative、GlobalCardinality），用于高效域缩减。此外，jcsp 支持实值变量（区间算术）和集合变量（组合问题），并能解析 XCSP3 实例文件。求解器配置灵活，支持搜索限制、取消和不佳学习，非常适合云微服务和复杂优化任务。