Pinned Repositories
af19-demo
Batfish Network CI demo for Ansiblefest 2019
ansible
Snapshot of a Batfish Ansible integration from 2020
ansible-demo
Repository for Ansible Demo
Antlr4Formatter
Formatter for ANTLR 4 grammars
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.github.io
Contains the website for the Batfish project: https://github.com/batfish/batfish
docker
Docker containers for Batfish and Pybatfish
example-campus
An example campus network
minesweeper
pybatfish
Python client for Batfish: https://github.com/batfish/batfish
batfish's Repositories
batfish/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/pybatfish
Python client for Batfish: https://github.com/batfish/batfish
batfish/ansible
Snapshot of a Batfish Ansible integration from 2020
batfish/af19-demo
Batfish Network CI demo for Ansiblefest 2019
batfish/docker
Docker containers for Batfish and Pybatfish
batfish/ansible-demo
Repository for Ansible Demo
batfish/minesweeper
batfish/batfish.github.io
Contains the website for the Batfish project: https://github.com/batfish/batfish
batfish/Antlr4Formatter
Formatter for ANTLR 4 grammars
batfish/example-campus
An example campus network
batfish/example-dc
batfish/javabdd
Fork of JavaBDD (http://javabdd.sourceforge.net/)
batfish/z3
The Z3 Theorem Prover