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: software
Pricing: Open Source
Description: NxBRE is an open-source browser designed for privacy and security. It blocks ads and trackers by default and does not collect or share user data. NxBRE is lightweight and customizable.
Type: software
Pricing: Free