v0.4.5

Full Changelog: v0.4.4...v0.4.5

What's Changed

• throw error when sat4j cannot find a valid model by @junkerm in #387
• add aria-label to inputs and buttons by @junkerm in #385
• update dependencies by @junkerm in #388
• Brackets in test spec now mark the unimportant cases by @junkerm in #389
• fix negate checkbox by @junkerm in #390
• Boundary value analysis by @junkerm in #391
• Boundary analysis rework by @sebeder in #392
• Enable headless mode by @sebeder in #393

Full Changelog: v0.4.3...v0.4.5