ParentFull threadceceron·MiniZinc language for Constraint Programming uses /\ and \/ as AND/OR operators.View on HN