约束求解器

用于寻找满足特定数学或逻辑约束条件的解的计算程序