FolkLoreee/32-bit-Adder-Simulation-and-Checker

32 bit Brent-Kung adder but faster (and it works). Also, SAT solver that solves.

Java