⚠️⚠️⚠️ 此项目不再维护。⚠️⚠️⚠️

contrail

使用轨迹进行回溯搜索算法的简单状态恢复。

用法

要使用 contrail，请将以下内容添加到您的 Cargo.toml

contrail = "0.2"

有关 API 用法的文档，请参阅 文档。

许可证

contrail 在 Mozilla Public License 版本 2.0 下授权。有关更多信息，请参阅 许可证文件 和 MPL 2.0 常见问题解答。

lib.rs:

使用轨迹进行回溯搜索算法的简单状态恢复。

在典型的分支搜索算法中，必须在每个分支点克隆搜索状态，以便独立探索分支。 contrail 提供了一个框架，用于创建在每个分支点只需要部分克隆搜索状态的搜索算法。这是通过存储所有搜索状态的 轨迹 实现的。

此库基于 Minion 使用的内存模型，Minion 是一个 C++ 约束满足问题求解器。

限制

contrail 的主要限制是，一旦使用轨迹构建器创建了一个轨迹，就无法向轨迹中添加任何内容。这是为了防止悬空指针。