Release 3.1.0
This is the version submitted to the SAT Competition 2023.
For the Apple binaries you might get an error when trying to run the unzipped file after downloading with Safari.
This quarantine apparently can be removed with
xattr -d com.apple.quarantine kissat-3.1.0-apple-arm64
after unzipping the downloaded file. You can also just download through wget
.
If you are worried about forcing quarantine removal, I would suggest try to build from source code.