# Changelog
All notable changes to this project will be documented in this file.
The format is based on [Keep a Changelog](https://keepachangelog.com/en/1.0.0/),
and this project adheres to [Semantic Versioning](https://semver.org/spec/v2.0.0.html).
## [0.4.0](https://github.com/ConSol-Lab/Pumpkin/compare/pumpkin-checking-v0.3.0...pumpkin-checking-v0.4.0) - 2026-06-23
### Added
- *(pumpkin-solver)* Check derived nogoods during search ([#373](https://github.com/ConSol-Lab/Pumpkin/pull/373))
### Fixed
- Off-by-one error in is_true of VariableState ([#389](https://github.com/ConSol-Lab/Pumpkin/pull/389))
### Other
- Use central version number for all pumpkin-* crates ([#470](https://github.com/ConSol-Lab/Pumpkin/pull/470))
## [0.3.0](https://github.com/consol-lab/pumpkin/releases/tag/pumpkin-checking-v0.3.0) - 2026-02-10
### Added
- Introduced the `pumpkin-checking` crate.