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.
`optimization`	The wmpy.optimization submodule handles anything related solving convex optimization with polynomial objective functions.
`sampling`	The wmpy.sampling submodule handles anything related to sampling over weighted convex polytopes.
`solvers`	The wmpy.solvers submodule contains complex solvers combining weighted SMT enumeration with convex subtasks.