逻辑归结求解器

仍处于早期开发阶段。可能随时无原因崩溃。所有功能均不保证。请耐心等待 :)

这是什么？

这是一个允许您快速（嗯...或多或少）解决合取范式逻辑方程（子句）的crate。

此README目前是repo的占位符。这里有两个crate：一个库，它执行所有重负载，一个cli工具，可用于在终端中快速解决子句。

想了解更多，请查看优秀的维基百科文章