Release v0.3.0 · leonbohn/hoars

Repository navigation

v0.3.0
3e58b47
Unverified

This commit is not signed, but one or more authors requires that any commit attributed to them is signed.

Learn about vigilant mode
Choose a tag to compare

Filter

View all tags

v0.3.0

v0.3.0
3e58b47
Choose a tag to compare

Filter

View all tags
Unverified

This commit is not signed, but one or more authors requires that any commit attributed to them is signed.

Learn about vigilant mode

leonbohn tagged this 25 Oct 17:00

Update dependencies (biodivine-lib-bdd 0.6, itertools 0.15) and bump …

Assets 2