v1.3.0

github-actions released this 06 Nov 13:29

· 533 commits to master since this release

3bb0227

Metatheory v1.3.0

Diff since v1.2.1

Custom similarterm can be passed to extract!
SaturationParams now has a timelimit field of type Dates.Period that can be used to halt saturation after a time period has elapsed.
Minor tweaks and optimizations in extraction

Closed issues:

Remove unsorted_arguments from Walks in Rewriters (#84)

Assets 2