This repository was archived by the owner on Sep 9, 2020. It is now read-only.
This repository was archived by the owner on Sep 9, 2020. It is now read-only.
Introduce, expose, and hash a solver version number #421
Description
From @sdboyer on March 2, 2017 3:19
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.
Copied from original issue: sdboyer/gps#173