Gini快速簡(jiǎn)潔的 SAT 求解器

Gini 是一個(gè)快速、簡(jiǎn)潔的 SAT 求解器。

安裝

go get github.com/irifrance/gini...

SAT 問(wèn)題可能是最著名的 NP-complete 問(wèn)題。 因此，SAT 求解器可用于嘗試解決難題，例如旅行商問(wèn)題或 RSA 破解。 在實(shí)踐中，許多 SAT 問(wèn)題是很容易的（但還不能解密問(wèn)題）。求解器用于軟件驗(yàn)證、硬件驗(yàn)證和測(cè)試、AI 規(guī)劃、路由等。