schlandals 0.1.2

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