Remove bogus 10 second timeouts. We'll need to implement proper timeouts at some point but that requires a multi-threaded implementation on Windows.
Remove bogus 10 second timeouts. We'll need to implement proper timeouts at some point but that requires a multi-threaded implementation on Windows.

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