syat-choco
1.0.0
syat-choco · 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).