com.github.gwr3n:syat-choco (maven): syāt is a suite of declarative modelling tools for statistical analysis. Global constraints and modeling tools covered in this library have been originally introduced in Rossi et al., "Declarative Statistics", 2017 (https://arxiv.org/abs/1708.01829).
Keywords: constraint-programming|declarative-statistics