old_contents: # -*- coding: utf-8 -*-
  
  from .model import *
  from .solvers import *
  from .minizinc import *
  
  __all__ = ['minizinc', 'mzn2fzn', 'solns2out', 'MiniZincError',
             'MiniZincUnsatisfiableError', 'MiniZincUnknownError',
             'MiniZincUnboundedError', 'MiniZincModel', 'Statement', 'Constraint',
             'Variable', 'ArrayVariable', 'OutputStatement', 'SolveStatement',
             'Solver', 'Gecode', 'Optimathsat', 'Opturion', 'gecode',
             'optimathsat', 'opturion']
  
new_contents: # -*- coding: utf-8 -*-
  
  from .model import *
  from .solvers import *
  from .minizinc import *
  
  __all__ = ['minizinc', 'mzn2fzn', 'solns2out', 'MiniZincError',
             'MiniZincUnsatisfiableError', 'MiniZincUnknownError',
             'MiniZincUnboundedError', 'MiniZincModel', 'Statement', 'Constraint',
             'Variable', 'ArrayVariable', 'OutputStatement', 'SolveStatement',
             'Solver', 'Gecode', 'Optimathsat', 'Opturion', 'Gurobi', 'gecode',
             'optimathsat', 'opturion', 'gurobi']
  
subject: fix imports of solvers