clasp version 3.4.1

Fixes

• issue potassco/clingo#622: SIGSEGV in SolveHandle.cancel()
• issue potassco/clingo#636: lower-bound progress in multi-threaded solving
• issue #112: clasp and potassco install lib should have the same value
• --hcc-out should not write assumptions
• potential nullptr access in incremental parallel disjunctive solving
• potential nullptr access in incremental non-hcf component stats
• performance regression in certain (SPACK) benchmarks
• incorrect result in "refined" program to solver literal mapping

Note

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