All Versions
Latest Version
Avg Release Cycle
Latest Release

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. (Especially skolem may return them if variable names in predicates to check are not unique.)
    • โž• add version constraint for Win32
    • ๐Ÿ‘ allow later versions of bytestring