CDCLsat v0.1.0
Merged pull requests:
- CompatHelper: add new compat entry for Formatting at version 0.4, (keep existing compat) (#1) (@github-actions[bot])
- CompatHelper: add new compat entry for RomanNumerals at version 0.3, (keep existing compat) (#2) (@github-actions[bot])
- CompatHelper: add new compat entry for DataStructures at version 0.18, (keep existing compat) (#3) (@github-actions[bot])
- CompatHelper: add new compat entry for Term at version 2, (keep existing compat) (#4) (@github-actions[bot])