There are quite a few out there. I played with gecode as well as https://choco-solver.org/ which I found intuitive and fun to use.