old_contents: from ._minizinc import *
  from ._model import *
  from ._solvers import *
  
  __all__ = ['minizinc', 'mzn2fzn', 'solns2out', 'MiniZincUnsatisfiableError',
             'MiniZincUnknownError', 'MiniZincUnboundedError', 'Model',
             'gecode', 'optimathsat', 'solve']
  
new_contents: from ._minizinc import *
  from ._model import *
  from ._solvers import *
  
  __all__ = ['minizinc', 'mzn2fzn', 'solns2out', 'MiniZincUnsatisfiableError',
             'MiniZincUnknownError', 'MiniZincUnboundedError', 'Model',
             'gecode', 'optimathsat', 'solve', 'opturion']
  
subject: add opturion to init