Resources in SQeYN