1 result found Sort:

meelgroup
bosphorus meelgroup
18
67
other
7
Bosphorus, ANF simplifier and solver, and ANF-to-CNF converter
anf cnf sat dimacs cryptoanalysis anf-simplifications
Created 2018-12-12
299 commits to master branch, last one 13 days ago