CLAIM
Solved a DownUnderCTF flag checker by extracting its rules with REA and Z3 by REA project (morluto)
Sign in with GitHub first. If your GitHub account owns the repository or is the author link on this entry, your claim is verified right away. If not, you can send a short note and a proof link and we will check it by hand.