Links for boolean-solver-gui