Option for maximum execution time added; model needs to be reloaded before each call to Solve()
Option for maximum execution time added; model needs to be reloaded before each call to Solve()

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