anf-simplifications topic
List
anf-simplifications repositories
bosphorus
65
Stars
18
Forks
Watchers
Bosphorus, ANF simplifier and solver, and ANF-to-CNF converter
