Gini 快速简洁的 SAT 求解器 Gini

polaris • 418 次点击    
这是一个分享于 的项目,其中的信息可能已经有所发展或是发生改变。
Gini 是一个快速、简洁的 SAT 求解器。 **安装** <pre data-cke-widget-data="%7B%22code%22%3A%22go%20get%20github.com%2Firifrance%2Fgini...%5Cn%22%2C%22classes%22%3Anull%7D" data-cke-widget-upcasted="1" data-cke-widget-keep-attr="0" data-widget="codeSnippet" class="cke_widget_element">go get github.com/irifrance/gini...</pre> SAT 问题可能是最着名的 NP-complete 问题。 因此,SAT 求解器可用于尝试解决难题,例如旅行商问题或 RSA 破解。 在实践中,许多 SAT 问题是很容易的(但还不能解密问题)。求解器用于软件验证、硬件验证和测试、AI 规划、路由等。
授权协议:
BSD
开发语言:
Google Go 查看源码»
操作系统:
跨平台
418 次点击  
加入收藏 微博
暂无回复
添加一条新回复 (您需要 登录 后才能回复 没有账号 ?)
  • 请尽量让自己的回复能够对别人有帮助
  • 支持 Markdown 格式, **粗体**、~~删除线~~、`单行代码`
  • 支持 @ 本站用户;支持表情(输入 : 提示),见 Emoji cheat sheet
  • 图片支持拖拽、截图粘贴等方式上传