C-Juice - A credal extension of Juice for sensitivity analysis
C-Juice is a credal extension of the Juice library for probabilistic circuits. The tool implements the algorithms for the credal extension of PSDDs (Mattei et al., 2020) and SPNs (Mauà et al., 2018).