clasp version 3.3.10

Changes

• Added support for (clingo) propagator undo mode
• Dropped incorrect ConstString optimization (cf. potassco/clingo#475)

Fixes

• Bug with --pre option (#88)
• Incorrect assertion (#90)
• Bug solving disjunctive program (#91)
• Confusing documentation of --opt-heuristic (#93)
• 32-bit archs should link to libatomic (#95)
• Infinite loop when optimizing (#96)
• Unexpected behaviour with incremental solving (#98)
• Deprecation warnings (cf. #94)
• Build error with VS 2022 17.8 (cf. #97)

Note

The source code archives provided by github do not contain the libpotassco submodule. Please download
clasp-3.3.10-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.