This is a collection of declarative programs in systems and networking.
They are written in Souffle syntax and can be directly evaluated by Souffle.
They serve as the benchmark for AutoDSL project, which synthesize declarative networking programs from input-output examples.