Version 3.1.0

[3.1.0] - 2022-01-17

Added

• Tiling.remove_requirement method that removes a requirement from a tiling.
• RemoveRequirementFactory which adds the rules where we insert a requirement to a
  tiling after we first remove that requirement. This is added to
  LocallyFactorableVerificationStrategy.pack.
• The tiling initialiser will now add factors of obstructions if it is implied by
  multiple different obs and one requirement list of size possibly greater than one.
  Previously it was only doing the case where a single ob's factor is implied by a
  requirement.

Fixed

• ForgetTrackedSearcher was not retroactively applying strategies that had a basis.
• Bug with sliding symmetries
• The tiling initialiser was not removing duplicate/redundant requirements.

Changed

• One by one verification will now only verify subclasses of the given basis.
• Verification strategies no longer ignore parent
• TrackedSearcher now uses a TrackedQueue and is able to work with all packs
  and new future strategies.

Deprecated

• Python 3.7 is no longer supported