Comb-spec-searcher

Changed
- Update dependency on psutil from 5.8 to 5.9.4
- Update dependency on sympy from 1.9 to 1.10.1
- Update dependency on pympler from 0.9 to 1.0.1
- Update dependency on requests from 2.26.0 to 2.28.1
- Update dependency on typing-extensions from 4.0.0 to 4.4.0
- Update dependency on tabulate from 0.8.9 to 0.9.0
- Updated dependencies in the tox file

Added
- Make specification iterable
- Add a `get_comb_class` method to combinatorial specification
- `StrategyPack.add_expansion` and `StrategyPack.remove_strategy` methods
- Add a flag `classdb` and `classqueue` to `comb_spec_searcher.__init__`

Changed
- The `get_terms` now have unique keys for the parameters to save memory.
- `CombinatorialSpecification.expand_verified` will try to find a spec
allowing reverse rules if it fails without.
- The labels assigned to nodes will always be in DFS order now.

Fixed
- Fixing bug creating non productive forest when expanding verified classes
- Handled properly when user asks for an random object of a size the class does
not have
- Trying to verify the class being expanded when expanding a combinatorial
specification.
- Bug in complement constructors inside equivalence path rules.

Added
- Reverse rule default back to the equation of the original rule in case
`NotImplementedError`
- `find_bijection_between` tries to find a bijection between classes given
a `CombinatorialSpecificationSearcher` object for both.
- Added Forest searching capability to the css. Those are specification that can
you reverse rule that are not equivalences.
- Special forward and backward maps, called indexed forward and backward maps.
They are to be used for bijections and their purposes is to support bijections
for non-injective forward maps by labelling the resulting objects or map from
an labelled object.
- `NonBijectiveRule` will implement a labelling system for indexed forward
and backward maps.
- `EqPathParallelSpecFinder` that, on top of the base class, validates any
potential path contained in equivalence labels.
- `PartialSpecificationRuleExtractor` that extracts rules from partially built
specifications and two subclasses with specific applications of that.

Changed
- If a rule in a specification cannot be sanity checked (e.g., counting is not
implemented), a warning is printed and sanity checking continues, instead of returning
the exception.
- More responsibility have been delegated to the rule database. This will allow
for more flexibility in the implementation of the rule database. Things like
computing specification rule now happens at the rule db level.

Fixed
- Removed a debug print
- Sharing of a specification html via gofile API.
- Moves local `Constructor.param_map` function outward so that specifications can be
pickled.
- Fix bug in complement constructor counting
- Fixing a bug in counting for equivalence rule from a reverse rule
- Fixing in the formal step of reverse equivalence rule. The formal step now
state that the rule is reversed.
- Removed bug in equation of `DisjointUnion` that ignores multiple CVs mapping to the
same in a child

Deprecated
- Python 3.6 is no longer supported
- `LimitedStrategyRuleDB` is not longer part of css

Added
- Automatic bijection between equivalent specifications through the functions
`get_bijection_to` and `are_isomorphic` of the specifications class. The bijection
object holds a `map` function that performs the actual mapping.
- Sanity check for random sampling on rule
- Strategy must not define a `is_two_way` method in order to decide if they can
be used to find the count of a children knowing the parent's and other
children' count. If so the constructor returned by the new method
`reverse_constructor` is used.
- Adds `expand_all_verified_with_pack` to `Specification` to attempt expansion of
verified nodes with a given pack and time limit.
- Adds `unexpanded_verified_classes` to `Specification` to return the set of verified
classes.

Changed
- Specification are now built using a set of rules
- The json format of a spec is based storing the json format of its rule
- Streamlined the extraction of a specification from a searcher.
- All unary strategy are now store at the level of the equivalence database in
order to avoid some productivity issue with catalytic variables.
- Adds a `max_expansion_time` optional parameter to
`comb_spec_searcher._auto_search_rules`.

Fixed
- `forward_map` of `EquivalencePathRule`
- `all_specifications` method of `RuleDB`

Changed
- Computation of terms in the constructor is now on a per size basis. The value for each possible parameters is computed at once in the new `get_terms` function of constructor. If you do not implement your own constructor this should have no effect on your code. The old `generate_object_of_size` method of the constructor is also replaced by a `get_objects` method that returns the objects for each possible combination of parameters.

Added
- Can sample and generate objects from specifications using multiple parameters.
- Sanity check tests object generation for rules with multiple parameteres.

Changed
- Removed the processname extra from logging