Skip to content

clasp version 3.3.4
Compare
Choose a tag to compare
@BenKaufmann BenKaufmann released this 27 Jun 10:37
· 130 commits to dev since this release
v3.3.4
6382096

Changes

  • Added internal interface for user-defined statistics
    (#23)
  • Extended ClingoPropagatorInit to support both global and per-solver watches.

Fixes

  • #22
  • #16
  • #18
  • #33
  • #34
  • Possible infinite loop in detection of problem type from input.
  • 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.4-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
Loading