Links for boolean-solver