old_contents: # -*- coding: utf-8 -*-
  
  from .model import *
  from .solvers import *
  from .minizinc import *
  
  __all__ = ['SolnStream', 'minizinc', 'mzn2fzn', 'solns2out', 'MiniZincError',
             'MiniZincUnsatisfiableError', 'MiniZincUnknownError',
             'MiniZincUnboundedError', 'MiniZincModel', 'Statement', 'Constraint',
             'Variable', 'ArrayVariable', 'OutputStatement', 'SolveStatement',
             'Solver', 'Gecode', 'Chuffed', 'Optimathsat', 'Opturion',
             'MIPSolver', 'Gurobi', 'CBC', 'G12Solver', 'G12Fd', 'G12Lazy',
             'G12MIP', 'OscarCBLS', 'gecode', 'chuffed', 'optimathsat', 'opturion', 'gurobi',
             'cbc', 'g12fd', 'g12lazy', 'g12mip', 'oscar_cbls']
  
new_contents: # -*- coding: utf-8 -*-
  
  from .model import *
  from .solvers import *
  from .minizinc import *
  
  __all__ = ['SolnStream', 'minizinc', 'mzn2fzn', 'solns2out', 'MiniZincError',
          'MiniZincUnsatisfiableError', 'MiniZincUnknownError',
          'MiniZincUnboundedError', 'MiniZincModel', 'Statement', 'Constraint',
          'Variable', 'ArrayVariable', 'OutputStatement', 'SolveStatement',
          'Solver', 'Gecode', 'Chuffed', 'Optimathsat', 'Opturion', 'MIPSolver',
          'Gurobi', 'CBC', 'G12Solver', 'G12Fd', 'G12Lazy', 'G12MIP', 'OscarCBLS',
          'gecode', 'chuffed', 'optimathsat', 'opturion', 'gurobi', 'cbc',
          'g12fd', 'g12lazy', 'g12mip', 'oscar_cbls']
  
subject: fix imports