pybeltsolver
