
Description: NebriOS is a Linux-based operating system designed for privacy and security. It routes all traffic through the Tor network by default to prevent IP address leakage and includes encryption features like disk encryption.
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