…ble, and efficient clocking scheme for quantum-dot cellular automata'

* 👷 Updated macOS CI to the latest OS and tool versions

* 👷 Updated ubuntu CI to the latest OS and tool versions

* 👷 Updated Windows CI to the latest OS and tool versions

* ✏️ Fixed typo in macOS CI build script

* 💚 Excluded clang++-11 and clang++-12 from ubuntu-18.04 runner as they are unsupported

* 👷 Added the wheel Python package to the list of required packages to hopefully build python-sat properly

* 💚 Build coverage CI in single-threaded mode to limit RAM usage

* 💚 Over-specified matrix includes for the ubuntu CI

* 🗑️ Deprecated Mugen under modern macOS versions due to issues with python-sat

* 💚 Moved pip installation to run after the git clone has happened such that requirements.txt can be grabbed

* 💚 Excluded clang++-10 from the ubuntu-22.04 CI run since it seems to be too old to be supported by default

* 💚 Over-specify matrix for macOS build

* ➖ Remove Python from Windows CI build

* ⬆️ Moved to z3-4.10.0

…ble, and efficient clocking scheme for quantum-dot cellular automata'

…ocking-scheme