Version 0.5.1: ready for experiments

• Define experimental protocol.
• Improve and simplify logging.
• Fix inorder printing

What's Changed

• Extended logging of the solving process by @arnaud-m in #67
• Improve logging of cryptarithm generation by @arnaud-m in #69
• Define verbosity levels with an enumeration. by @arnaud-m in #71
• Post missing symmetry breaking constraint by @arnaud-m in #73
• Define experimental protocol for the generation phase by @arnaud-m in #76
• Add dataset by @margauxschmied in #78
• Choco update to 4.10.10 by @Imp95 in #77
• Catch and handle a choco exception when modeling by @arnaud-m in #82
• Fix missing parentheses of inorder print in recursive style by @FissoreD in #79
• Define experimental protocol for solving cryptarithms by @arnaud-m in #85
• Check code coverage and good practices and clean up by @arnaud-m in #87

Full Changelog: v0.5.0...v0.5.1