Logic programming approaches for routing fault-free and maximally parallel wavelength-routed optical networks-on-chip (Application paper)