Code

delta-max-bound sips heuristic#2260

Code

Merged

b-scholz merged 1 commit intosouffle-lang:mastersouffle-lang/souffle:masterfrom julienhenry:delta-max-bound-sipsjulienhenry/souffle:delta-max-bound-sipsCopy head branch name to clipboardApr 14, 2022

+146-66

Commits

Commits on Apr 12, 2022

• delta-max-bound sips heuristic

  julienhenry

  committed
  8beb0cb

  Copy full SHA for 8beb0cb