SHA-256 SAT SOLVER Polinomial TARJAN + Glucose4

In this code, we feed a pre-image of the full 64-round SHA-256 into an unprecedented SAT solver setup. By leveraging Tarjan-based heuristics as 'hints' for Glucose4, we achieved a resolution in approximately 7 seconds. This is, definitively, the end of cryptography as we know it.