anf-simplifications
There are 1 repositories under anf-simplifications topic.
meelgroup/bosphorus
Bosphorus, ANF simplifier and solver, and ANF-to-CNF converter
There are 1 repositories under anf-simplifications topic.
Bosphorus, ANF simplifier and solver, and ANF-to-CNF converter