Added check that encoding option is used to ASP solver factory