A vulnerability, which was classified as problematic, has been found in MiniZinc libminizinc 2.7.6. Affected by this issue is some unknown functionality of the file Preferences.json. The manipulation leads to null pointer dereference.
This vulnerability is handled as CVE-2023-46050. Access to the local network is required for this attack. There is no exploit available.
