- fix rpath (don't use relative lib64)
- switch python to noarch
- Update to version 2.3.3+20220722:
* Added reviewer's suggestions
* Fixed the broken link on SMT-LIBv2 documentation.
* Fix cli to disable new simplifications with --disablesimplifications
* enable sharing-aware rewrites by default.
* Extra simplification rule.
* re-enabling removal of BVOR to evaluate how important it is.
* some more simplification rules.
* Improved simplifications
* Faster/better Always true identification
* First attempt at sharing aware rewrites.
* Create 100000...
* Nicer implementation of Always true.
* Remove the unnecessary use of a SCARY iterator that may break on older compilers
* Cleanup memory leaks. Nicer signed comparison on unsigned interval.
* Nicer domain analyis.
* extra test case for strength reduction.
* Strength reduction now iterates through. This should make it idempotent and deterministic.
* Make the new PropagateEqualities deterministic
* Find non-overlapping extracts of variables and replace them with fresh variables.
* Changes to how domain information about bit-vector nodes is stored.
* and some more.