Deterministic regex synthesis from labeled examples. Zero LLM, proof matrix, backtracking audit.
Sign in to choose or create a drio app for this import.