Skip to content

clintest 0.1.0
Compare
Choose a tag to compare
@teiesti teiesti released this 04 Sep 22:04
· 18 commits to master since this release
v0.1.0
cdd0e9b
This commit was signed with the committer’s verified signature.
teiesti Tobias Stolzmann
GPG key ID: 452FC0E36EF74439
Learn about vigilant mode.

This is the first release of clintest. For details, please read the documentation. Have fun testing your clingo programs.

Assets 2
Loading