[console_scripts]
z3rno-evals = z3rno_evals.cli:main
z3rno-verify-forget = z3rno_evals.forget_verify:main
