The wmpy.solvers submodule contains complex solvers combining weighted SMT enumeration with convex subtasks.
It exposes:
WMISolver: a WMI meta-solver
WMSampler: a sampler for non-convex weighted SMT formulas
wmisolver
wmsampler