LPsolvers=['Gurobi','LP']slowLPsolvers=['GLPK','PPL']SATsolvers=['cryptominisat','picosat','glucose']uninstalled=['Coin','GLPK/exact','CPLEX','CVXOPT','rsat']# to be added to the comparison one daysolvers=slowLPsolvers+SATsolvers+LPsolvers+['dancing_links']

ax=df_square_T2.plot(figsize=(15,10),marker='o')ax.set(xlabel="n, the square size",ylabel="time (seconds)",title='Time to find a valid Wang Tiling of a n x n square using the 20 Wang tile set $T_2$')ax.get_figure().savefig('T2_square_tilings.svg')

ax=df_square_T3.plot(figsize=(15,10),marker='o')ax.set(xlabel="n, the square size",ylabel="time (seconds)",title='Time to find a valid Wang Tiling of a n x n square using the 24 Wang tile set $T_3$')ax.get_figure().savefig('T3_square_tilings.svg')

ax=df_dominoes_T0.plot(figsize=(15,10),marker='o')ax.set(xlabel="surrounding radius",ylabel="time (seconds)",title='Finding the dominoes allowing a surrounding of given radius ''for the Jeandel Rao 11 tile set $T_0$ in less than {} seconds'.format(timelimit))ax.get_figure().savefig('T0_dominoes_surrounding.svg')

ax=df_dominoes_T2.plot(figsize=(15,10),marker='o')ax.set(xlabel="surrounding radius",ylabel="time (seconds)",title='Finding all dominoes allowing a surrounding of given radius ''for the 20 Wang tile set $T_2$ in less than {} seconds'.format(timelimit))ax.get_figure().savefig('T2_dominoes_surrounding.svg')

ax=df_dominoes_T3.plot(figsize=(15,10),marker='o')ax.set(xlabel="surrounding radius",ylabel="time (seconds)",title='Finding all dominoes allowing a surrounding of given radius ''for the 24 Wang tile set $T_3$ in less than {} seconds'.format(timelimit))ax.get_figure().savefig('T3_dominoes_surrounding.svg')

This website does not host notebooks, it only renders notebooks
available on other websites.