All Versions
2
Latest Version
Avg Release Cycle
-
Latest Release
-
Changelog History
Changelog History
-
v0.2.1.0 Changes
- โฑ enable to abort instance generation early by using timeout
-
v0.2.0.6 Changes
- ๐ allow parsing
'
as part of words. (Especiallyskolem
may return them if variable names in predicates to check are not unique.) - โ add version constraint for
Win32
- ๐ allow later versions of
bytestring
- ๐ allow parsing