clasp version 3.3.9
Fixes
Other changes
- refined overflow checks in LogicProgram (#86)
Note
The source code archives provided by github do not contain the libpotassco submodule. Please download
clasp-3.3.9-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.