4.2.0

4.2.0 (2023-12-18)

Features

• dsl: add a - b term extension (a7e4fcf)

Dependency updates

• deps: update dependency it.unibo.tuprolog:solve-classic-jvm to v0.31.19 (623fd6f)
• deps: update dependency sbt/sbt to v1.9.8 (f851cc0)
• deps: update dependency semantic-release-preconfigured-conventional-commits to v1.1.80 (7967401)
• deps: update dependency semantic-release-preconfigured-conventional-commits to v1.1.81 (7f397de)
• deps: update dependency semantic-release-preconfigured-conventional-commits to v1.1.82 (dd0e7cf)
• deps: update dependency semantic-release-preconfigured-conventional-commits to v1.1.83 (57bdcbf)
• deps: update dependency semantic-release-preconfigured-conventional-commits to v1.1.84 (98873dc)

General maintenance

• minor improvements (3f21c23)
• typo in a filename (06aebcc)
• update readme (1706104)
• website: add architectural design (2b95d8c)
• website: add diagrams to detailed design (5757b79)
• website: change Documentazione to Report (2494cda)
• website: edit architectural diagram (39bb5e7)
• website: fix errors (85c4ed0)
• website: remove unused title (f3c1264)
• website: update index (84551ef)
• website: update index page (ce99646)
• website: update readme (303e2e6)