You can also find the entire source code (and Dockerfile) on GitHub. This artifact is organised as follows: src/main/scala: Source code for KATch Main.scala: Main entry point for KATch Runner.scala: Implementation of the runner for NKPL NK.scala: Implementation of the NetKAT AST Parser...