moonbit-constraint

moonbit-constraint 是一个面向排班、资源分配、数独、配置生成和组合优化场景的 MoonBit 有限域约束编程库。项目提供整数域、变量、等式与不等式约束、AllDifferent、Sum、Element、域可行性检查和 MRV 启发式搜索，并计划扩展冲突解释、优化目标、增量求解及 SAT/SMT 互操作能力。