parameters: (self, library, encoding=None)
return_statement: return solver.get_solution()
docstring: .. deprecated:: 1.1
             Instead you should use :func:`load` first and call solve on that
             solver object instead.
  
          The solver is passed as a string, the corresponding module is
          imported, a Solver object created, initialised and called.
          A Solution object (dictionary: var -> val) is returned, if the
          Model is unsatisfiable, or the solver fails to solve it, the
          Solution will be empty (None)
docstring_summary: .. deprecated:: 1.1
             Instead you should use :func:`load` first and call solve on that
             solver object instead.
docstring_tokens: .. deprecated :: 1 . 1 Instead you should use : func : load first and call solve on that solver object instead .
function: def solve_with(self, library, encoding=None):
          """
          .. deprecated:: 1.1
             Instead you should use :func:`load` first and call solve on that
             solver object instead.
  
          The solver is passed as a string, the corresponding module is
          imported, a Solver object created, initialised and called.
          A Solution object (dictionary: var -> val) is returned, if the
          Model is unsatisfiable, or the solver fails to solve it, the
          Solution will be empty (None)
          """
          solver = self.load(library, encoding)
          solver.solve()
          return solver.get_solution()
function_tokens: def solve_with ( self , library , encoding = None ) : solver = self . load ( library , encoding ) solver . solve ( ) return solver . get_solution ( )