batfish

Repositories

• 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.

  network configuration network-analysis network-automation network-security configuration-parser network-verification
  Java Apache-2.0 115 477 127 5 Updated Jun 16, 2020

• pybatfish

  Python client for Batfish: https://github.com/batfish/batfish
  Jupyter Notebook Apache-2.0 25 97 8 0 Updated Jun 2, 2020

• z3

  Forked from Z3Prover/z3

  The Z3 Theorem Prover
  C++ 910 0 0 0 Updated May 17, 2020

• ansible
  Python Apache-2.0 3 29 1 0 Updated Mar 8, 2020

• docker

  Docker containers for Batfish and Pybatfish
  Shell Apache-2.0 3 7 0 0 Updated Feb 24, 2020

• af19-demo

  Batfish Network CI demo for Ansiblefest 2019
  Python Apache-2.0 2 8 0 0 Updated Feb 7, 2020

• batfish.github.io
  HTML MIT 2 0 1 0 Updated Jan 17, 2020

• ansible-demo Archived

  Repository for Ansible Demo
  Python Apache-2.0 2 7 1 0 Updated Jun 15, 2019

• javabdd Archived

  Fork of JavaBDD (http://javabdd.sourceforge.net/)
  Java 1 0 0 0 Updated Jul 24, 2018

• example-dc
  0 0 0 0 Updated Apr 16, 2018

• batfish-ppa
  Apache-2.0 0 0 0 0 Updated Mar 14, 2018

• example-campus

  An example campus network
  0 0 0 0 Updated Oct 11, 2017

• minesweeper
  HTML 0 0 0 0 Updated Aug 23, 2017