ParentFull threadporridgeraisin·> pre-computeOr it could be a SAT or something that's easy to verify and hard to solve.View on HN