[osivertsson]

In a previous life I used Gecode and found it had pretty good performance and was fairly easy to use, see https://www.gecode.org/