/iptables-sefl

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

Primary LanguageScalaMIT LicenseMIT

No issues in this repository yet.