A logic-based enterprise network security analyzer - View it on GitHub