v0.5.0

What's Changed

• Add negation with a not goal by @tgecho in #18
• Add a port of a reindeer puzzle as an example by @tgecho in #17
• Update criterion requirement from 0.4.0 to 0.5.1 by @dependabot in #19
• Turn on most pedantic clippy lints by @tgecho in #20

Full Changelog: v0.4.0...v0.5.0