Provide references for CVE-2019-7560.
Where can I find more information about CVE-2019-7560?
References are available at: https://github.com/Boolector/boolector/issues/29, https://github.com/Boolector/boolector/issues/28.