Links for bitwuzla-pythonic