Python client for Batfish, a network configuration analysis tool that validates security, reliability, and compliance by modeling network behavior from device configs before deployment.