The iptables to SEFL (Symbolic Execution Friendly Language) translator.
Primary LanguageScalaMIT LicenseMIT
