Gecode约束编程库(第2部分)
约束规划的神器——Gecode,C++写的,性能相当能打。想学点硬核算法、模型推导、状态搜索啥的,用它准没错。你要是搞过排班、资源分配这种场景,用它建模特爽,定义规则一条条列上去,求解器一跑,结果就出来了,蛮智能的。
Gecode的FlatZinc
解释器也挺有意思,支持声明式的语法,像在写配置文件一样写逻辑,挺省脑子的。别担心太底层,文档也有、例子也全,学起来还行。顺手还能提高下 C++功力,蛮值的。
下载包是两个压缩文件,这是第 2 个。想系统玩转的,建议两个都下。对了,如果你对解释器这块感兴趣,也可以看看其他项目,比如 Python 解释器 或 C 解释器 CScriptU,也是蛮有参考价值的。
如果你经常碰到排班、物流调度、规则限制比较多的业务,可以试试用 Gecode 建模,能让你少写一大堆判断逻辑。
13.62MB
文件大小:
评论区