[yaantc]

Eclipse CLP (no relation to the IDE ;) has good built-in support and can also interface to many external solvers. It's open source.

https://eclipseclp.org/