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', 'Optimathsat', 'Opturion', 'Gurobi', 'gecode',
             'optimathsat', 'opturion', 'gurobi']
  
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', 'gecode', 'chuffed', 'optimathsat', 'opturion', 'gurobi',
             'cbc', 'g12fd', 'g12lazy', 'g12mip']
  
subject: add new solvers imports