GitHub repository: JKangg/T4_DD
Primary language: Java
Description: 32 bit full adder but faster (and it works). Also, SAT solver that solves.