Implement Ring constraints in Kalliope - [ ] Acyclic and Intransitive - [ ] Acyclic and Strongly Intransative - [ ] Irreflexive
Implement Ring constraints in Kalliope