v0.1.0

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])