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