weaver solver