# regflow
Minimal RegFlow component used for unit tests in this kata.
It provides a tiny compile_dsl and generate_proof function set to verify basic constraint logic.