package solver