Module strategy 

Strategy Selection Engine

Automatically selects the best verification algorithm based on property structure.

Enums

Strategy

Verification strategy.

VerificationResult

Unified verification result from auto-selection.

Functions

select_strategy

Select the best strategy based on property structure.

verify_auto

Verify a property using automatic strategy selection.