What's Changed
- make test_chaining cheaper when building in debug mode by @arvidn in #59
- Fuzzers for solver and prover by @arvidn in #60
- require k to be even by @arvidn in #63
- always join threads, even if there are exceptions by @arvidn in #64
- bump version to 0.1.4 by @arvidn in #65
Full Changelog: 0.1.3...0.1.4