WM*PY WM*PY (wmpy) is an open-source python3 library for solving reasoning tasks over weighted logical and algebraic constraints. Documentation Installation Contributing Changelog License