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