There are 0 repository under implication-graph topic.
Program Design affiliated to General Course Design of CSE College, HUST, for students enrolled in 2018.
Optimized 32-Bit Full Adder, CEC-SAT Verifier & 2-SAT Solver
CEC-SAT Verifier, Optimized 32-Bit Full Adder & 2-SAT Solver
A 2-SAT solver that determines satisfiability by constructing an implication graph and using Tarjan's Algorithm to find strongly connected components (SCCs), implemented in C++.