构建约束满足问题(Constraint Satisfaction Problems, CSP)。核心是约束求解器,包括回溯搜索、约束传播和启发式搜索等
调度问题:如任务调度、课程安排等。
组合优化问题:如背包问题、旅行商问题(TSP)等。
资源分配问题:如分配机器到任务、人员到项目等。
逻辑推理问题:如逻辑谜题、数独等.
Gecode 的通用性和高性能使其在学术研究和工业应用中都有广泛的应用
最近更新:4个月前
OpenSrc multi-platform library for OpenGL, OpenGL ES and Vulkan. platform-independent API for creating windows, contexts and surfaces, reading input, handling events.