(self)
Returns an instance of Model that survives the solver instance.

        Restrictions: Requires option generate_models to be set to
                      true (default) and can be called only after
                      :py:func:`solve` (or one of the derived methods)
                      returned sat or unknown, if no change to the
                      assertion set occurred.
Returns an instance of Model that survives the solver instance.
Returns an instance of Model that survives the solver instance .
def get_model(self):
        """Returns an instance of Model that survives the solver instance.

        Restrictions: Requires option generate_models to be set to
                      true (default) and can be called only after
                      :py:func:`solve` (or one of the derived methods)
                      returned sat or unknown, if no change to the
                      assertion set occurred.

        """
        raise NotImplementedError
def get_model ( self ) : raise NotImplementedError