We need an option to set the ProviderManifestToken in code for a Database First Model in order to override the value from the EDMX, which defaults to \"2012\" for SQL Server
