JKind v3.0.1

agacek released this 25 Mar 02:25

· 181 commits to master since this release

592f64e

Fix bug in type comparison for advice files
Pretty print time values, e.g. 2h 23m 48s
Change timeout and depth to be unbounded by default

Assets 3