GitHub - netarch/batfish: Batfish is a network configuration analysis tool that can find bugs and guarantee the correctness of (planned or current) network configurations. It enables network engineers to rapidly and safely evolve their network, without fear of outages or security breaches.

Batfish Experiment Repository

This is a fork based on the release 0.36.1 of Batfish for experiments related to Plankton.

The experiments are run on Dell Precision Tower 5810, with Xeon(R) CPU E5-2697 v3, 188 GB RAM, and Ubuntu 16.04.5.

All the experiment scripts and data are located in experiments/.

Name		Name	Last commit message	Last commit date
Latest commit History 6,960 Commits
.idea		.idea
.travis		.travis
networks		networks
projects		projects
questions		questions
skylark		skylark
tests		tests
third_party/org/antlr4/antlr4-complete		third_party/org/antlr4/antlr4-complete
tools		tools
.gitattributes		.gitattributes
.gitignore		.gitignore
.travis.yml		.travis.yml
BUILD		BUILD
LICENSE		LICENSE
LICENSE.3RD-PARTIES		LICENSE.3RD-PARTIES
README.md		README.md
WORKSPACE		WORKSPACE
batfish_video.png		batfish_video.png