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.

pybatfish

Python client for Batfish: https://github.com/batfish/batfish

ansible

Snapshot of a Batfish Ansible integration from 2020

af19-demo

Batfish Network CI demo for Ansiblefest 2019

docker

Docker containers for Batfish and Pybatfish

ansible-demo

Repository for Ansible Demo

minesweeper

batfish.github.io

Contains the website for the Batfish project: https://github.com/batfish/batfish

Antlr4Formatter

Formatter for ANTLR 4 grammars

example-campus

An example campus network

example-dc

javabdd

Fork of JavaBDD (http://javabdd.sourceforge.net/)

z3

The Z3 Theorem Prover