GitHub repository: FolkLoreee/T4_DD
Created: 2020-10-21T13:47:18Z
Description: 32 bit Brent-Kung adder but faster (and it works). Also, SAT solver that solves.