CMakeLists.txt checks -DGECODE_HOME=... etc. to enable a solver
CMakeLists.txt checks -DGECODE_HOME=... etc. to enable a solver

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