Skip to content

Releases: gleiss/saturation-visualization

v1.1.0

17 Apr 11:34
@gleiss gleiss
v1.1.0
d44ff6a
This commit was created on github.com and signed with GitHub’s verified signature. The key has expired.
GPG key ID: 4AEE18F83AFDEB23
Expired
Learn about vigilant mode.
Compare
Choose a tag to compare
v1.1.0 Latest
Latest

update parser to support new clausal output of Vampire

Assets 2
Loading

v0.9

21 Mar 10:46
@gleiss gleiss
v0.9
d44ff6a
This commit was created on github.com and signed with GitHub’s verified signature. The key has expired.
GPG key ID: 4AEE18F83AFDEB23
Expired
Learn about vigilant mode.
Compare
Choose a tag to compare
v0.9 Pre-release
Pre-release 
Update README.md
Assets 2
Loading

v1.0.0

17 Apr 11:31
@gleiss gleiss
v1.0.0
aca7992
This commit was created on github.com and signed with GitHub’s verified signature. The key has expired.
GPG key ID: 4AEE18F83AFDEB23
Expired
Learn about vigilant mode.
Compare
Choose a tag to compare
v1.0.0 
Update README.md
Assets 2
Loading