Sprint 5 Release

What's Changed

• Align Develop after release 0.3.0 by @Mala1180 in #93
• Feature/end-sprint-4 by @Mala1180 in #95
• Feature/product-backlog-5 by @paga16-hash in #98
• Feature/dpll-refactor by @w-disaster in #94
• Feature/export-improvement by @paga16-hash in #96
• Feature/show-comp-time by @paga16-hash in #97
• Feature/solution-fetching-all-assignments by @w-disaster in #99
• Feature/scalameter-intro by @paga16-hash in #101
• Feature/encoding-refactor by @Mala1180 in #100
• Feature/tseitin-ordering-clauses by @paga16-hash in #104
• Feature/help-refinement by @Mala1180 in #103
• Feature/fix-dpll-enumerator-solve-all by @w-disaster in #107
• Feature/cache-repl by @Mala1180 in #102
• Feature/next-sol-problem-fix by @paga16-hash in #105
• Feature/bdd-encodings by @Mala1180 in #108
• Feature/gui-input-expression-style by @w-disaster in #106
• Feature/nqueen-representation by @paga16-hash in #109
• Feature/show-time-next-sol by @paga16-hash in #111
• Feature/dsl-comments-and-doc-update by @Mala1180 in #110
• Feature/fix-style-cucumber-steps by @paga16-hash in #112
• Feature/graph-color-representation by @paga16-hash in #113
• Feature/magic-string by @paga16-hash in #115
• Feature/fix-tests-and-nurse by @Mala1180 in #114
• Feature/reflection-variable-check by @Mala1180 in #116
• Feature/nurse-representation by @paga16-hash in #117
• Feature/problem-tests by @paga16-hash in #118
• Feature/tseitin-little-fix by @paga16-hash in #119
• Feature/fix-nurse-scheduling by @Mala1180 in #120
• Feature/fix-problem-next by @paga16-hash in #121
• Feature/solver-bdd-refactor by @w-disaster in #122
• Feature/solver-tests-refactor by @w-disaster in #123
• Feature/solver-dpll-doc by @w-disaster in #124
• Feature/refinement-chores by @Mala1180 in #127
• Feature/partial-assignment-test-refactor by @w-disaster in #125
• Feature/converter-design by @paga16-hash in #126
• Feature/find-next-refinment by @w-disaster in #128
• Feature/ref-tseitin-method by @paga16-hash in #130
• Feature/deterministic-run-tests by @w-disaster in #131
• Feature/gui-input-expression-style-improvement by @w-disaster in #132
• Feature/refactor-packages by @Mala1180 in #133
• Feature/cache-disabling by @paga16-hash in #134
• Feature/auto-doc-ci by @Mala1180 in #135
• Feature/fix-auto-scaladoc by @Mala1180 in #136
• Feature/microbenchmarking by @paga16-hash in #139
• Feature/refactor-reactions by @Mala1180 in #140
• Feature/doc-detailed-design by @w-disaster in #138
• Feature/fix-model-update by @Mala1180 in #141
• Feature/doc-update-methodology-requirements by @w-disaster in #142
• Feature/tailrec-optimizations-par-assignment by @w-disaster in #137
• Feature/stackover-detection by @paga16-hash in #144
• Feature/implementation-doc-tseitin by @paga16-hash in #146
• Feature/doc-benchmark-and-update by @Mala1180 in #145
• Feature/doc-detailed-design-dpll by @w-disaster in #143
• Feature/cache-check by @paga16-hash in #147
• Feature/dsl-chore by @Mala1180 in #148
• Feature/final-doc-refinement by @Mala1180 in #149
• Release/1.0.0 by @Mala1180 in #151
• Release/1.0.0 by @Mala1180 in #152

Full Changelog: v0.3.0...v1.0.0