Gini快速简洁的 SAT 求解器
Gini 是一个快速、简洁的 SAT 求解器。
安装
go get github.com/irifrance/gini...
SAT 问题可能是最着名的 NP-complete 问题。 因此,SAT 求解器可用于尝试解决难题,例如旅行商问题或 RSA 破解。 在实践中,许多 SAT 问题是很容易的(但还不能解密问题)。求解器用于软件验证、硬件验证和测试、AI 规划、路由等。
评论
Gini 是一个快速、简洁的 SAT 求解器。
安装
go get github.com/irifrance/gini...
SAT 问题可能是最着名的 NP-complete 问题。 因此,SAT 求解器可用于尝试解决难题,例如旅行商问题或 RSA 破解。 在实践中,许多 SAT 问题是很容易的(但还不能解密问题)。求解器用于软件验证、硬件验证和测试、AI 规划、路由等。