sat_lab: 提供操纵 SAT 问题的框架的 crate。

🔧 我应该写一个漂亮的演示文稿

许可证

双许可以与 Rust 项目兼容。

根据您的选择，许可协议为 Apache 许可证第 2.0 版 https://apache.ac.cn/licenses/LICENSE-2.0 或 MIT 许可证 http://opensource.org/licenses/MIT。此文件不得根据这些条款进行复制、修改或分发。