==================================================================================================================================================
	Result 1 => This error occurs in the method 1 to install the autogess tool.
	CMD: python3 autoguess.py --inputfile ciphers/Example1/relationfile.txt --solver cp --maxsteps 5 --dglayout circo
==================================================================================================================================================
Traceback (most recent call last):
  File "autoguess.py", line 211, in <module>
    main()
  File "autoguess.py", line 208, in main
    startsearch(params)
  File "autoguess.py", line 30, in startsearch
    search.search_using_cp(tool_parameters)
  File "/home/hamed/tools/autoguess/core/search.py", line 20, in search_using_cp
    gdsmt = ReduceGDtoCP(inputfile_name=parameters['inputfile'],
  File "/home/hamed/tools/autoguess/core/gdcp.py", line 70, in __init__
    self.cp_solver = minizinc.Solver.lookup(self.cp_solver_name)        
  File "/home/hamed/.local/lib/python3.8/site-packages/minizinc/solver.py", line 140, in lookup
    raise LookupError(
LookupError: No solver id or tag 'or-tools' found, available options: ['api', 'cbc', 'chuffed', 'coin-bc', 'coinbc', 'cp', 'cplex', 'experimental', 'findmus', 'float', 'gecode', 'gist', 'globalizer', 'gurobi', 'highs', 'int', 'lcg', 'mip', 'org.chuffed.chuffed', 'org.gecode.gecode', 'org.gecode.gist', 'org.minizinc.findmus', 'org.minizinc.globalizer', 'org.minizinc.mip.coin-bc', 'org.minizinc.mip.cplex', 'org.minizinc.mip.gurobi', 'org.minizinc.mip.highs', 'org.minizinc.mip.scip', 'org.minizinc.mip.xpress', 'osicbc', 'restart', 'scip', 'set', 'tool', 'xpress']
==================================================================================================================================================
	Result 2 => This error occurs in the methods 1 and 3 to install the autogess tool.
	CMD: python3 autoguess.py --inputfile ciphers/Example1/relationfile.txt --solver sat --maxguess 2 --maxsteps 5
==================================================================================================================================================

Traceback (most recent call last):
  File "autoguess.py", line 211, in <module>
    main()
  File "autoguess.py", line 208, in main
    startsearch(params)
  File "autoguess.py", line 26, in startsearch
    search.search_using_sat(tool_parameters)
  File "/home/hamed/tools/autoguess/core/search.py", line 78, in search_using_sat
    gdsat = ReduceGDtoSAT(inputfile_name=parameters['inputfile'],
  File "/home/hamed/tools/autoguess/core/gdsat.py", line 50, in __init__
    self.supported_sat_solvers = list(solvers.SolverNames.cadical) + list(solvers.SolverNames.glucose4) + list(solvers.SolverNames.glucose3) + list(solvers.SolverNames.lingeling) + list(solvers.SolverNames.maplesat) + list(
AttributeError: type object 'SolverNames' has no attribute 'cadical'