Additional short description in README.md #6
Description
The README.md starts with "Language-independent Synthesis of Firewall Policies"
Please add one or two sentences what the synthesis of firewall policies is useful for
{{ message }}
The README.md starts with "Language-independent Synthesis of Firewall Policies"
Please add one or two sentences what the synthesis of firewall policies is useful for