Code

Replace a ForAll by manual execution.#12

Code

Open

markusbaumeister wants to merge 1 commit intogap-packages:mastergap-packages/AttributeScheduler:masterfrom markusbaumeister:smallImprovementsmarkusbaumeister/AttributeScheduler:smallImprovementsCopy head branch name to clipboard

+16-8

Commits

Commits on Mar 5, 2018

• Replace a ForAll by manual execution.

  Show description for bf83485
  markusbaumeister

  committed
  bf83485

  Copy full SHA for bf83485