Method release

gecode/support/thread/thread.hpp:93–102

  }

  forceinline void
  Mutex::release(void) {
#ifdef GECODE_HAS_THREADS
#ifndef GECODE_USE_OSX_UNFAIR_MUTEX
    m.unlock();
#else
    os_unfair_lock_unlock(&l);
#endif
#endif
  }

  forceinline void*
  Mutex::operator new(size_t s) {