gecode
gecode copied to clipboard
Complete build options for Pthread API
Thanks for the suggestion. Unfortunately, I am currently unable to investigate this, but from the description you linked it does sound like a good idea to make our build more robust.