Links for pyboolector