Practical Network-Wide Configuration Synthesis with Autocompletion - View it on GitHub