Juice: A Julia Package for Logic and Probabilistic Circuits

Meihua Dang, Pasha Khosravi, Yitao Liang, Antonio Vergari, Guy Van den Broeck