All Versions
2
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