Code

Clingo heuristic#40

Code

Merged

BenKaufmann merged 4 commits intodevpotassco/clasp:devfrom clingo-heuristicpotassco/clasp:clingo-heuristicCopy head branch name to clipboardJan 2, 2019

+293-74

Commits

Commits on Dec 20, 2018

• Rename ClaspConfig::Configurator::addPost().

  Show description for 14d3300
  BenKaufmann

  committed
  14d3300

  Copy full SHA for 14d3300

Commits on Dec 21, 2018

• Add support for clingo heuristic.

  BenKaufmann

  committed
  0a7f367

  Copy full SHA for 0a7f367

• Fix non-matching size types.

  BenKaufmann

  committed
  157cefd

  Copy full SHA for 157cefd

Commits on Dec 28, 2018

• Add support for clingo lock to ClingoHeuristic.

  BenKaufmann

  committed
  6a9b23c

  Copy full SHA for 6a9b23c