YACS-开源 时间:2021-04-25 18:17:25 【文件属性】: 文件名称:YACS-开源 文件大小:979KB 文件格式:ZIP 更新时间:2021-04-25 18:17:25 开源软件 YACS(Yet Another Constraint Solver)是Java库,是面向约束求解器的面向对象的框架。 它支持传播和解决有限域和无限域(离散值和实数区间)的约束满足问题。 立即下载