clasp version 3.3.7

Fixes

• potassco/clingo#342
• potassco/clingcon#81
• #71
• #72

Note

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