
Description: Hyperon is an open-source tool for building internal platforms and applications. It allows developers to quickly build and deploy internal tools using a code-first approach, without managing infrastructure. It's designed for speed and ease of use.
Type: Open Source Test Automation Framework
Founded: 2011
Primary Use: Mobile app testing automation
Supported Platforms: iOS, Android, Windows

Description: MiniZinc is an open-source constraint modeling language and solver. It allows users to model constraint satisfaction and optimization problems in a high-level, solver-independent format. Models are then compiled into FlatZinc code and solved by a backend solver.
Type: Cloud-based Test Automation Platform
Founded: 2015
Primary Use: Web, mobile, and API testing
Supported Platforms: Web, iOS, Android, API