Hi,
Please note that a successor tool called Bitwuzla is available, with all development effort by the same authors spent on that. I've submitted an ITP and tried to package it. [1] Please consider sponsoring it, and maybe even recommend it to Boolector users(?).In the case of boolector we need to wait until btor2tools is accepted in unstable. I'll upload boolector right after this has happened.
Thanks, Gábor [1] https://bugs.debian.org/cgi-bin/bugreport.cgi?bug=1121897
