Prud'homme, C., & Fages, J. (2022). Choco-solver: A Java library for constraint programming. Journal of Open Source Software, 7(78), 4708. https://doi.org/10.21105/joss.04708