Test based on a toy package constraint solver