- BMK-748: Update documentation. - BMK-741: Improved examples based on user feedback. - BMK-739: Enable custom compile configuration for SPEC. - BMK-726: Include wheel build for different python versions. Bug fixes: - BMK-737: Fix reporting of SMT_Enabled. - BMK-755: Fix logging bug.