SPARK2014 built against it (provers CVC4, Z3, Alt-Ergo; CVC4 requires
Sierra and upwards) available at https://github.com/simonjwright/spark2014/releases/tag/macos-0.1.
Needs GCC 12.0.1 installed. Running the test suite on the ug* tests (the examples in the User Guide) results in one failure (aside from the
missing CodePeer one) unless you build with -j2 (where 2 is less than
the number of processors in your machine).