Builtins are either defined in builtins.mzn or in a file ending in /builtins.mzn (same for stdlib.mzn)
Builtins are either defined in builtins.mzn or in a file ending in /builtins.mzn (same for stdlib.mzn)

jjdekker/libminizinc,tias/libminizinc,tias/libminizinc,nathanielbaxter/libminizinc,nathanielbaxter/libminizinc,jjdekker/libminizinc,jjdekker/libminizinc,nathanielbaxter/libminizinc,nathanielbaxter/libminizinc,jjdekker/libminizinc