clasp version 3.3.8
Fixes
Other changes
- updated catch2 (#73)
- moved clasp app to cli part of library
Note
The source code archives provided by github do not contain the libpotassco submodule. Please download
clasp-3.3.8-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.