Logic-Constrained Shortest Paths for Flight Planning