Skip to content

Stable release v1.2

Latest
Latest

Choose a tag to compare

View all tags
@Columpio Columpio released this 25 May 12:58
· 37 commits to master since this release
chccomp22
78e1b50
This commit was signed with the committer’s verified signature.
Columpio Yurii Kostyukov
GPG key ID: A6124F388E23AFE3
Verified
Learn about vigilant mode.

CHC-COMP 2022 release.
solver.zip is a solver's build for StarExec.

Assets 3
Loading