Skip to content

Update LowerUnivalent algorithm

Bruno requested to merge pull/23/feature/fastLUniv into develop

Created by: Jogo27

Many improvements have been performed on LowerUnivalent and derived algorithms. These algorithms have been tested on many proofs. They're faster and no error have been reported. I think those changes should be merged into master soon (before the paper is submited ?).

Merge request reports