Links for boolector
boolector-3.2.4.tar.gz