MassimoLauria/cnfgen

CNF generator in DIMACS format. It produces common families of CNFs.

语言：Python · GitHub 星标：75 · Fork：15

在 GitHub 上查看原仓库