Implemented minimax edge verifier