Bigint
Vertex
Inspector now use pool for tasks. Not major improvement, anyway
Added size of matching table
Fixed bug with vertex id owerflow
Fixed test for the old matching table to correspond the new one
Refactored the usage of boost pol by gmp to separate module
Performance optimizations to use already calculated results for negated vertices
Profiling files
Fixed problems with iterator caused by static_cast convertion from TerminalSymbol to int64_t
Fixed problem after rebase
Made reasonable Reduce.StressTest (checked version) and removed profiling version
Added average reduce time
Vertex Hash 1.5
Reverted the previous version of Hash
Minor changes in general/Permutation
Added get_signed_id() method to the Vertex class/
FiniteArithmeticSequence should be converted to bool explicitly
Small readability fix
Added tcmalloc as allocator, increases performance. Think if we want to include tcmalloc into crag