Name		Name	Last commit message	Last commit date
.github/workflows		.github/workflows
benchmarks		benchmarks
docs		docs
examples		examples
src/wmpy		src/wmpy
test		test
.gitignore		.gitignore
.mailmap		.mailmap
.python-version		.python-version
.readthedocs.yaml		.readthedocs.yaml
CHANGELOG.md		CHANGELOG.md
CONTRIBUTING.md		CONTRIBUTING.md
INSTALL.md		INSTALL.md
LICENSE.md		LICENSE.md
README.md		README.md
pyproject.toml		pyproject.toml
uv.lock		uv.lock

Repository files navigation

WM*PY

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

About

Reasoning over weighted algebraic and logical constraints

wmpy.readthedocs.io/en/latest/

Custom properties

26 stars

6 watching

Report repository

Releases

Packages

Used by

Contributors

Languages