batfish

batfish Public
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.

Java 750 Apache-2.0 176 197 11 Updated Mar 6, 2022
pybatfish Public
Python client for Batfish: https://github.com/batfish/batfish

Jupyter Notebook 147 Apache-2.0 34 8 0 Updated Feb 27, 2022
batfish.github.io Public
Contains the website for the Batfish project: https://github.com/batfish/batfish

HTML 1 MIT 4 1 0 Updated Feb 16, 2022
docker Public
Docker containers for Batfish and Pybatfish

Shell 7 Apache-2.0 8 1 0 Updated Dec 12, 2021
ansible Public

Python 38 Apache-2.0 7 3 0 Updated Dec 11, 2021
Antlr4Formatter Public
Formatter for ANTLR 4 grammars

ANTLR 0 BSD-2-Clause 8 0 0 Updated Feb 15, 2021
z3 Public
The Z3 Theorem Prover

C++ 0 1,164 0 0 Updated May 17, 2020
af19-demo Public
Batfish Network CI demo for Ansiblefest 2019

Python 28 Apache-2.0 8 0 0 Updated Feb 7, 2020
ansible-demo Public archive
Repository for Ansible Demo

Python 7 Apache-2.0 3 1 0 Updated Jun 15, 2019
javabdd Public archive
Fork of JavaBDD (http://javabdd.sourceforge.net/)

Java 0 1 0 0 Updated Jul 24, 2018

Pinned