meelgroup/bosphorus

Bosphorus, ANF simplifier and solver, and ANF-to-CNF converter

语言：C++ · GitHub 星标：88 · Fork：19

话题：anf · anf-simplifications · cnf · cryptoanalysis · dimacs · sat

在 GitHub 上查看原仓库