[console_scripts]
z3-armor=z3_armor.cli:entrypoint

