What's Changed
- Update README.md by @henba1 in #106
- Add obtained_labels to VerificationResult - ensuring compatibility wi… by @henba1 in #108
- Describe auto-verify and its use case more concretely by @henba1 in #110
- SDP-CROWN integration by @henba1 in #109
Full Changelog: v0.1.4...v1.0.0
