Open source repositories tagged with #mixed-boolean-arithmetic, ranked by health score.
OLLVM-Next (Ensia): The next generation LLVM based Obfuscator