Min libs are not necessary for synthesis but are almost always used in a backend flow. Use File->Import->Create Analysis Configuration to establish a Mulit-Mode/Multi-Corner (MMMC) timing environment. At least one setup "view" and one hold "view" are required. If you only want to optimize for a single mode and corner you can specify the same view for both setup and hold. Hope this helps.