The solver probably to be given a version number, and have it incremented whenever the solving algorithm changes in such a way that solving has a different answer set, given the same inputs.
This number must then be exposed via an addition to Lock, and incorporated in hashing.
The solver probably to be given a version number, and have it incremented whenever the solving algorithm changes in such a way that solving has a different answer set, given the same inputs.
This number must then be exposed via an addition to
Lock
, and incorporated in hashing.