wmpy¶

The wmpy library has 4 submodules: core, enumeration, integration and solvers.

Additionally, the wmpy.cli submodule implements the command line interface (documented separately).

`core`	The wmpy.core submodule contains task-agnostic classes and utilities.
`enumeration`	The wmpy.enumeration submodule handles anything related to the enumeration of truth assignment of weighted SMT formulas.
`integration`	The wmpy.integration submodule handles anything related to the integration of weight functions over convex polytopes.
`solvers`	The wmpy.solvers submodule contains complex solvers combining weighted SMT enumeration with convex subtasks.