Pathfinder patient source. Female doctors in Arlington, TX. TunnelBear not connecting Mac. Minizinc example.