3 ms·MiniZinc uses the \/, /\, ->, <-> as the logical connectives.by ceceron 6y agoMiniZinc uses the \/, /\, ->, <-> as the logical connectives.