ODAS: Optimization-based Detection of Architectural Symmetries - View it on GitHub