anjlab/sat3

Reference Implementation of Romanov's Polynomial Algorithm for Boolean 3-SAT Problem

语言：Java · GitHub 星标：93 · Fork：7

在 GitHub 上查看原仓库