Navigation Menu

Skip to content

clasp version 3.3.5
Compare
Choose a tag to compare
@BenKaufmann BenKaufmann released this 23 Aug 18:07
· 85 commits to dev since this release
v3.3.5
c183473

Changes

  • Added support for external (e.g. from clingo) heuristics.
    (#40)

Fixes

  • #36
  • #39
  • #41
  • #44
  • #45
  • Warnings from memcpy and switches
  • Atoms of incremental programs not always marked as frozen.

Note

The source code archives provided by github do not contain the libpotassco submodule. Please download
clasp-3.3.5-source.tar.gz for a complete source archive.

This release does not contain any clasp binaries. Prebuilt binaries of clasp are part of new
clingo releases.

Assets 3