A vulnerability, which was classified as problematic, was found in CVC5 Solver 1.1.3. This affects an unknown part of the component SMT2 File Handler. The manipulation leads to denial of service.
This vulnerability is uniquely identified as CVE-2024-37794. Access to the local network is required for this attack. There is no exploit available.
