Need != operator in addition to ==
Need != operator in addition to ==

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