"""Compatibility exports for the Week 3 verifier."""

from dataforge.verifier.smt import SMTVerifier, VerificationResult, VerificationVerdict

__all__ = ["SMTVerifier", "VerificationResult", "VerificationVerdict"]