JASDD Java package for Algebraic Sentential Decision Diagrams For details, see the paper "Algebraic Sentential Decision Diagrams in Symbolic Probabilistic Planning" [R. Herrmann and L. Barros, BRACIS'13]