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