given the too close similarity with the underlying ["choco-solver"](http://choco-solver.org/). For now, I added [a clarification in the README](https://github.com/gsdlab/chocosolver/commit/dd6acce25163a0abfb41523ee02e156a39722625).