pywmi
numpy
typing
pysmt
matplotlib
scikit-learn
pickledb

[sdd]
pysdd
