Flussab AIGER

用于表示为与或图（AIGs）的组合和顺序布尔电路的 AIGER 文件格式的解析和写入，使用 flussab 实现。该库的目的是提供一个非常高效的 AIGER 文件格式的流式解析器。除了流式解析器，它允许将 AIG 直接解析到特定应用的数据结构中之外，该库还提供了简单的数据结构来表示 AIGER 文件的全部内容，以及基于流式 API 实现的读取和写入实用函数。最后，由于二进制 AIGER 文件格式对文字编号施加了更多限制，该库提供了重编号 AIG 的函数，以便将 ASCII AIGER 转换为二进制 AIGER。

注意： 这目前是一个预览版本。它功能基本完整，但缺少文档，我在准备首次正式发布时可能还会对 API 进行一些重构。

许可证

此软件可在零条款 BSD 许可证下使用，有关完整的许可信息，请参阅 LICENSE。

贡献

除非您明确声明，否则您提交给包括在此软件中的任何贡献都将根据 LICENSE 中定义的许可证授权。