Expressive, Easy to Build, and High-Performance Application Networks

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 …

Using pyATS and Batfish to perform real-time network configuration analysis

NetCov: test coverage for network configurations

The network importer is a tool/library to analyze and/or synchronize an existing network with a Network Source of Truth (SOT), it's designed to be idempotent and by default it's only showing the di…

Zen is a constraint solving library for .NET

ACL/Flow Auditing Tool based on Batfish

Examples of using DevOps tools with Arista EOS and CloudVision

Code repository for the O'Reilly book 'Cloud Native Data Center Networking'

Batfish Network CI demo for Ansiblefest 2019

Snapshot of a Batfish Ansible integration from 2020

Repository for Ansible Demo

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

netconan - a Network Configuration Anonymizer