This work is licensed under a Creative Commons Attribution 4.0 International License. B-Prolog : B-Prolog
Comet : Comet
ECLiPSe : ECLiPSe
Essence : Essence
EssencePrime : EssencePrime
MiniZinc : MiniZinc
Minion : Minion Input Language
Numberjack : Numberjack
Picat : Picat
This work is licensed under a Creative Commons Attribution 4.0 International License.