# Maraboupy 

Maraboupy is the python interface for Marabou. For more information about Maraboupy, including
setup, troubleshooting, examples, API documentation, and a developer's guide, see our 
[documentation](https://neuralnetworkverification.github.io/Marabou/).