Links for yowasp-boolector