Skip to content

Improvements to difflogic engine

Hichem R. A. requested to merge hra/dl into master

Difflogic is not yet activated by default, it still needs --lra-dl and --lra-incr-dl to use it.

I should maybe remove the options lra-no-cst-pivot, lra-dl-no-poly and lra-dl-no-rm which are only used for testing

Merge request reports