clasp version 3.3.3

Fixes

• possible race condition in Windows alarm handling (libpotassco)
• state not fully reset in incremental acyc check
• facade progress state not reset after solving step
• Issues #11 #12 #13

Note on source code archives

The source code archives provided by github do not contain the libpotassco submodule. Please download
clasp-3.3.3-source.tar.gz for a complete source archive.

Note on binaries

This release does not contain any clasp binaries. Prebuilt binaries of clasp-3.3.3 can be found in
clingo version 5.2.2.