schlandals 0.1.3

A tool for probabilistic inference by projected weighted model counting.
Documentation