This PR performs some deprecations/renamings related to the terms "solution terms" and "solution path". See the commit messages for commits 4739e9f8a47fe2fb4840aad4bb8564d5e75ce108, 4b10c5d05b43d6b0972ce31cc0794b574de1b399, and 9f808db2d121acea62af8b67d4b35a6dce929f6c for details. The remaining commits only affect the docs, internals, or the unit tests (so are not relevant for users).
This PR performs some deprecations/renamings related to the terms "solution terms" and "solution path". See the commit messages for commits 4739e9f8a47fe2fb4840aad4bb8564d5e75ce108, 4b10c5d05b43d6b0972ce31cc0794b574de1b399, and 9f808db2d121acea62af8b67d4b35a6dce929f6c for details. The remaining commits only affect the docs, internals, or the unit tests (so are not relevant for users).