Gini 快速简洁的 SAT 求解器

授权协议：BSD操作系统：跨平台开发语言：Google Go 查看源码 »

Gini 是一个快速、简洁的 SAT 求解器。安装 go get github.com/irifrance/gini... SAT 问题可能是最着名的 NP-complete 问题。因此，S...