Lukáš Zahradník

- Add the logarithm transformation function to transformation parsing

This PR mainly reduces the memory usage of the `LowArityLiterals::add` method but also increases its performance. It merges three loops into one and makes the `Combinatorics::allSubsequences` method redundant. It saves...

Dummy PR to merge the removal of evaluator (and other stuff) to the new "big release" branch

Make PyTorch optimizer compatible wth PyNeuraLogic

Works only for + (sum), * (elprod), and @ (prod) for now Added support for references: ``` R.a(V.X)

This PR removes python hook which allows us to completely remove PythonEvaluation and PythonHookHandler. It also contains implementation for callbacks during grounding phase allowing to create a progress bar. There...